Sei ${\displaystyle {}R\subseteq M\times M}$ eine Äquivalenzrelation und ${\displaystyle {}M/R}$ die Quotientenmenge. Die Abbildung

${\displaystyle q_{R}\colon M\longrightarrow M/R,\,x\longmapsto [x],}$

heißt kanonische Projektion von ${\displaystyle {}R}$.