Pré-ordem: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m removeu Categoria:Relações Matemáticas; adicionou Categoria:Teoria da ordem usando HotCat |
m WP:BOT: Substituindo sintaxe matemática obsoleta de acordo com mw:Extension:Math/Roadmap |
||
Linha 8:
<math> \forall a \in A \ ( aRa) </math> (propriedade reflexiva)
<math> \forall (a, b) \in A \times A (aRb \ \
Muitas vezes é usada a notação de par-ordenado. Neste caso, escreveríamos: <math> (A, R) </math> é uma pré-ordem.
| |||