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

Zeige, dass man durch die Festlegung

${}[(a,b)]\geq [(c,d)]\,,$

falls

${}a+d\geq b+c\,,$

auf (dem Äquivalenzklassenmodell von) ${}\mathbb {Z}$ eine totale Ordnung erhält.

Zur Lösung, Alternative Lösung erstellen