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

Zeige, dass man durch die Festlegung ${}[(a,b)]\geq [(c,d)]$, falls ${}ad\geq bc$, auf (dem Äquivalenzklassenmodell von) ${}\mathbb {Q}$ eine wohldefinierte totale Ordnung erhält.

Eine Lösung erstellen