Misalkan R sebuah relasi pada himpunan P. Relasi R dikatakan relasi ekivalensi jika dan hanya jika relasi R memenuhi sifat reflektif, simetris, dan transitif.