Auf den natürlichen Zahlen
ist durch die Größergleich-Relation ≥ {\displaystyle {}\geq } eine totale Ordnung definiert.