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