Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Anordnung/Fakt
Zur Navigation springen
Zur Suche springen
Durch die Festlegung , falls ,
erhält man auf (dem Äquivalenzklassenmodell von) eine totale Ordnung.