Start=kanonische Abbildung (Äquivalenzrelation)
Ziel=Äquivalenzrelation/Kanonische Projektion/Definition