Definition: Totalordnung

Sei eine Partialordnung.

Die Relation auf dieser Menge heißt Totalordnung, wenn sie neben den Eigenschaften der Partialordnung zusätzlich total ist.

Insgesamt gelten also folgende Eigenschaften:

  • Reflexivität,
  • Antisymmetrie,
  • Transitivität,
  • Totalität.

Anmerkung

Was ist eigentlich mit ?

Üblicherweise setzen wir: