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

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

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

Einen Beweis erstellen