manchmal auch natürliche Abbildung genannt, die Abbildung\begin{eqnarray}k:M\to M/R,\quad x\mapsto [x],\end{eqnarray} die jedem Element x der mit der ÄquivalenzrelationR versehenen Menge M seine Äquivalenzklasse [x] zuordnet.