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

Zeige, dass man durch die Festlegung

falls

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