Es seien M {\displaystyle {}M} und N {\displaystyle {}N} Mengen und sei f : M → N {\displaystyle {}f\colon M\rightarrow N} eine Abbildung. Es sei ∼ {\displaystyle {}\sim } eine Äquivalenzrelation auf N {\displaystyle {}N} . Zeige, dass durch x ≡ x ′ {\displaystyle {}x\equiv x'} , falls f ( x ) ∼ f ( x ′ ) {\displaystyle {}f(x)\sim f(x')} gilt, eine Äquivalenzrelation auf M {\displaystyle {}M} definiert wird.
