Zum Inhalt springen

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

Aus Wikiversity

Zeige, dass die in Beispiel definierten Verknüpfungen und auf wohldefiniert sind.