Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Anordnung/Fakt/Beweis/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass man durch die Festlegung , falls , auf (dem Äquivalenzklassenmodell von) eine wohldefinierte totale Ordnung erhält.

Eine Lösung erstellen