Es seien ${\displaystyle {}D}$ und ${\displaystyle {}W}$ Mengen. Wir betrachten auf der Abbildungsmenge ${\displaystyle {}\operatorname {Abb} \,{\left(D,W\right)}}$ diejenige Relation, bei der die Abbildungen

${\displaystyle f,g\colon D\longrightarrow W}$

in Relation stehen, wenn es eine bijektive Abbildung

${\displaystyle \pi \colon D\longrightarrow D}$

mit

${\displaystyle {}f=g\circ \pi \,}$

gibt. Zeige, dass dies eine Äquivalenzrelation