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

6 bytes adicionados ,  26 de maio de 2013
m
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 sobre A se, e somente se, R é reflexiva e transitiva. Isto é:
 
<math> \forall a \in A ( aRa) \ \ \ </math> (propriedade reflexiva)
 
<math> \forall (a, b) \in AxA (aRb \ \and bRc \ \ \Rightarrow aRc) </math> (propriedade transitiva)
283

edições