Die rationalen Zahlen/Konstruktion aus Z/Wohldefiniertheit der Verknüpfungen/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass die in Beispiel definierten Verknüpfungen

und auf wohldefiniert sind.
Eine Lösung erstellen