Apa itu Himpunan kuosien?

Misalkan $\mathcal{R}$ relasi ekuivalensi pada $E$. Himpunan kuosien $E/\mathcal{R}$ adalah himpunan semua kelas ekuivalensi; surjeksi $\pi \colon E \to E/\mathcal{R}$, $x \mapsto \mathrm{cl}(x)$, disebut proyeksi kanonik.

Sifat universal (pemfaktoran): jika $f \colon E \to F$ selaras dengan $\mathcal{R}$ (yaitu $x \mathbin{\mathcal{R}} y \implies f(x) = f(y)$), maka terdapat tepat satu pemetaan $\overline f \colon E/\mathcal{R} \to F$ dengan $f = \overline f \circ \pi$.