Let R ⊆ M × M {\displaystyle {}R\subseteq M\times M} denote an equivalence relation, and let M / R {\displaystyle {}M/R} be the quotient set. The mapping
is called the canonical projection of R {\displaystyle {}R} .
![{\displaystyle q_{R}\colon M\longrightarrow M/R,x\longmapsto [x],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a3c95a36a6f32d546e863deda32997dbdce58ed)
