Kelas ekivalen

elemen-elemen yang ekivalen dengan . Dapat dibuktikan dari definisi relasi ekivalen bahwa kelas-kelas ekivalen membentuk partisi dari . Artinya, himpunan bisa dibagi menjadi beberapa bagian yang saling lepas, dan bagian-bagian ini adalah kelas-kelas ekivalen pada .