Jabarkan a ~ a. (Reflektivitas) dari Relasi ekuivalensi

a ~ b jika dan hanya jika b ~ a. (Simetri)

jika a ~ b dan b ~ c maka a ~ c. (Transitivitas)

X bersama dengan relasi ~ disebut sebuah setoid. Kelas ekuivalensi dari  di bawah ~, dilambangkan dengan , didefinisikan sebagai .