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

295 bytes adicionados ,  26 de maio de 2013
sem resumo de edição
m
 
<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==
283

edições