Die rationalen Zahlen/Konstruktion aus Z/Ä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.

Einen Beweis erstellen