Coba jelasin Kelas ekuivalensi dari Relasi ekuivalensi dong

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.