Jabarkan Kelas ekuivalensi dari Relasi ekuivalensi

Sebuah subhimpunan  dari , dengan  tetap berlaku untuk semua  namun tidak pernah ketika , disebut sebagai sebuah kelas ekuivalensi  dari . Anggap  menyatakan kelas ekuivalensi yang berisi elemen . Semua elemen di  yang saling ekuivalen menjadi anggota pada kelas ekuivalensi yang sama.