Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Anordnung/Fakt

Durch die Festlegung

falls

erhält man auf (dem Äquivalenzklassenmodell von) eine totale Ordnung.