Rationale Zahlen/Konstruktion aus Z/Ordnung bei gleichem Nenner/Aufgabe

Zeige, dass im Äquivalenzklassenmodell für die Ordnung die Beziehung

genau dann, wenn

erfüllt.