Der Satz über die Äquivalenzrelation zu einer Abbildung f : M → N {\displaystyle {}f\colon M\rightarrow N} .