Eine totale Ordnung ist eine partielle Ordnung, in der je zwei Elemente vergleichbar sind.
Beispiel: $\le$ auf $\mathbb R$.