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

531 bytes adicionados ,  26 de maio de 2013
sem resumo de edição
 
Seja ''A'' um [[Conjunto (matemática)|conjunto]] e R uma [[relação binária]] sobre ''A'' (ou seja, R subconjunto de AxA). Então, R é uma pré-ordem se, e somente se, R é reflexiva e transitiva. Isto é:
 
<math> \forall a \in A ( aRa) </math>
 
<math> \forall (a, b) \in AxA (aRb and bRc \Rightarrow aRc) </math>
 
==Ver também==
*[[Relação de equivalência]] - pré-ordem que é também uma relação simétrica.
*[[Ordem total]] - pré-ordem que é também total e anti-simétrica.
*[[Newman's lemma]]
 
==References==
{{refbegin}}
* {{Citation
| last = Schröder | first = Bernd S. W.
| title = Ordered Sets: An Introduction
| place = Boston
| publisher = Birkhäuser
| year = 2002
| isbn = 0-8176-4128-9}}
{{refend}}
 
 
 
 
283

edições