Kategorie:Halbordnung

Halbordnung[Bearbeiten | Quelltext bearbeiten]

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 \forall a\,\in A:aRa}$,
• Antisymmetrie: ${\displaystyle \forall a,b\,\in A:(aRb\wedge bRa)\Rightarrow a=b}$,
• Transitivität: ${\displaystyle \forall a,b,c\,\in A:(aRb\wedge bRc)\Rightarrow aRc}$.