Pré-ordem: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m |
|||
Linha 14:
<math> \forall (a, b) \in AxA (aRb \ \and bRc \ \ \Rightarrow aRc) </math> (propriedade transitiva)
==Exemplos==
* Sobre os arcos de um [[Teoria dos grafos|grafo]] orientado (também conhecido por ''digrafo''), a relação ''ser acessível por'' é uma pr[e-ordem. Se o digrafo é acíclico, essa relação vira uma ordem.
* Em um [[anel comutativo]], a relação ''divide'' é uma pré-ordem.
==Ver também==
| |||