Pré-ordem: diferenças entre revisões

Sem alteração do tamanho ,  30 de maio de 2013
m
==Usos==
* Toda pré-ordem pode gerar uma topologia, [[Topologia de Alexandrov]] e, de fato, toda pré-ordem admite uma [[Função bijetora|bijeção]] com uma topologia de Alexandrov neste conjunto.
* Pré-ordens podem ser usadas para definir [[álgebra interior| álgebraálgebras interiores]].
* Pré-ordens induzem a [[semântica de Kripke]] para certos tipos de [[Lógica modal|lógicas modais]].
 
 
== Esquema de temas relacionados ==
283

edições