Jabarkan Himpunan hasil bagi dari Relasi ekuivalensi

Himpunan semua kelas ekuivalensi  dari , yang dinyatakan sebagai  , adalah himpunan hasil bagi  dari . Jika  adalah ruang topologis, ada cara mudah mengubah  menjadi ruang topologis. Lihat ruang hasil bagi untuk detailnya.