Äquivalenzrelation/Kanonische Projektion/Definition

Kanonische Projektion

Sei eine Äquivalenzrelation und die Quotientenmenge. Die Abbildung

heißt kanonische Projektion von .