Partielle Ordnung

Eine partielle Ordnungsrelation R auf einer Menge M ist eine Teilmenge von [image], die die folgenden Eigenschaften besitzt:

 

1. Reflexivität

[image]

für alle [image]

 

2. antisymmetrisch

[image]

[image]

 

3. transitiv

[image]

[image]

Wir schreiben anstatt [image] auch [image] und sagen, dass R auf M eine partielle Ordnung definiert.

Nicht alle Elemente müssen vergleichbar sein.