Natürliche Zahlen/Ordnungsrelation/Total/Fakt

Auf den natürlichen Zahlen

ist durch die Größergleich-Relation ${}\geq$ eine totale Ordnung definiert.

Zum Beweis, Alternativen Beweis erstellen