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

Durch die Festlegung ${}[(a,b)]\geq [(c,d)]$, falls ${}ad\geq bc$,

erhält man auf (dem Äquivalenzklassenmodell von) ${}\mathbb {Q}$ eine totale Ordnung.

Einen Beweis erstellen