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