Zeigen Sie, dass ∼ eine Aquivalenzrelation ist. :
reflexiv: Für alle a ∈ M gilt , wegen der Eindeutigkeit von
Abbildungen f(a)=f(a) also a∼a
symmetrisch: Für alle a,b ∈ M gilt
f(a)=f(b) ==> f(b)=f(a) also
a∼b ==> b∼a
transitiv: Für alle a,b,c ∈ M gilt
f(a)=f(b) und f(b) = f(c) ==> f(a)=f(c)
also a∼b und b∼c ==> a∼c.