Aufgabe:
Wohldefiniertheit von Addition und Multiplikation
Problem/Ansatz:
Zeige, die Definitionen
x + y := x + y
und
x · y := x · y
hängen nicht von den Repräsentanten der Äquivalenzrelationen x und y ab.
Wobei x und y Äquivalenzklassen sind.
Ich komme hier einfach nicht auf einen richtigen Ansatz. Kann mir jemand helfen ?