Kategorie:Halbordnung

Eine binäre Relation R auf einer Menge A heißt Halbordnung oder partielle Ordnung, wenn folgende drei Eigenschaften erfüllt sind:

• Reflexivität: ${\displaystyle \mathrm{\forall }a\in A:aRa}$,
• Antisymmetrie: ${\displaystyle \mathrm{\forall }a,b\in A:(aRb\wedge bRa)\Rightarrow a=b}$,
• Transitivität: ${\displaystyle \mathrm{\forall }a,b,c\in A:(aRb\wedge bRc)\Rightarrow aRc}$.