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

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, b) \in AxA (aRb \ \and bRc \ \ \Rightarrow aRc) </math> (propriedade transitiva)