Relação de ordem: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
m
Linha 82:
também é uma relação de ordem estrita. A inversa de "<math> < </math>" é geralmente escrita "<math> > </math>". De maneira análoga, para uma relação de ordem ampla "<math> \leqslant </math>" pode ser definida a sua inversa "<math> \geqslant </math>", que também é uma relação de ordem ampla.
 
A pesarApesar dessa propriedade ser denominada às vezes de "dualidade", não é uma dualidade em sentido estrito, como a que possuem as [[álgebra de Boole|álgebras de Boole]].
 
== Elementos distinguidos numa ordem ==