|
|
|
|
in einer Menge 
heißt Ordnung oder
Ordnungsrelation , wenn
reflexiv, antisymmetrisch und transitiv ist.
Ist
zusätzlich linear (s. (5.80)), so heißt
vollständige Ordnung , vollständige Ordnungsrelation oder
Kette .
Die Menge
heißt dann durch
geordnet bzw. vollständig geordnet.
In einer vollständig geordneten Menge sind also je zwei Elemente vergleichbar.
Statt 
verwendet man auch die Bezeichnung 
oder 
wenn die
Ordnungsrelation
aus dem Zusammenhang bekannt ist.
| Beispiel A | |
|
Die Zahlenbereiche | |
| Beispiel B | |
|
Die Teilmengenbeziehung ist eine Ordnung, die nicht
vollständig ist.
| |
| Beispiel C | |
|
Die lexikographische Ordnung auf den Wörtern der deutschen Sprache ist eine Kette. | |
|
|
sind durch die
übliche Beziehung 
vollständig geordnet.