Relasi biner

Sebuah relasi disebut sebagai relasi ekivalen jika relasi tersebut bersifat:
Relasi ekuivalen memiliki hubungan erat dengan partisi, yang merupakan alasan mengapa partisi dari sebuah himpunan disebut kelas ekivalen atau kelas kesetaraan.