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

Aus Wikiversity

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

erfüllt.