Es sei R ⊆ M × M {\displaystyle {}R\subseteq M\times M} eine Äquivalenzrelation und M / R {\displaystyle {}M/R} die Quotientenmenge. Die Abbildung
heißt kanonische Projektion von R {\displaystyle {}R} .
![{\displaystyle q_{R}\colon M\longrightarrow M/R,\,x\longmapsto [x],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7c96edb2a455ac421608e115251cbbff46ee269)
