Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Anordnung/Fakt/Beweis/Aufgabe
Erscheinungsbild
Zeige, dass man durch die Festlegung , falls , auf (dem Äquivalenzklassenmodell von) eine wohldefinierte totale Ordnung erhält.
Zeige, dass man durch die Festlegung
,
falls
,
auf
(dem Äquivalenzklassenmodell von)
eine wohldefinierte
totale Ordnung
erhält.