Es sei R ⊆ M × M {\displaystyle {}R\subseteq M\times M} eine Äquivalenzrelation. Dann heißt
die Quotientenmenge von R {\displaystyle {}R} .