Kelas ekivalen

Secara formal, kelas ekivalen didefinisikan sebagai berikut: bila ada himpunan dan relasi ekivalen , "kelas ekivalen" suatu elemen dalam adalah himpunan