|
Relasi 
pada himpunan 
dikatakan sebagai relasi ekuivalensi apabila bersifat refleksif, simetris, dan transitif.
- Relasi pada himpunan dikatakan refleksif jika setiap anggota berelasi dengan dirinya sendiri, atau dapat ditulis
, dengan 
Є. - Relasi pada himpunan dikatakan simetris apabila untuk setiap dan
di dalam berlaku jika 
maka demikian pula sebaliknya, atau dapat ditulis jika maka 
, dengan , Є. - Relasi pada dikatakan transitif apabila untuk setiap
maka berlaku jika dan 
maka 
.
Sebagai contoh relasi yang memenuhi ketiga kondisi tersebut sehingga bisa disebut relasi ekuivalensi dalam geometri adalah relasi kesejajaran garis lurus. Selain itu contoh yang terkenal adalah relasi kongruen modulo, seperti berikut.
Diberikan bilangan bulat m ≠ 0, dua buah bilangan bulat 
dan 
dikatakan kongruen modulo (congruent modulo) 
jika terdapat bilangan bulat 
sedemikian hingga 
, atau dengan kata lain 
dinotasikan 
.
Selanjutnya akan dibuktikan bahwa kongruen modulo merupakan relasi ekuivalensi
