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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Durch die Festlegung

falls

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

Zum Beweis, Alternativen Beweis erstellen