Relasi Ekivalensi
Masing-masing aturan yang dimiliki relasi mengungu antar krucing memiliki nama.
x ∼ x
R1 disebut sebagai aturan relasi refleksif. Aturan ini mengharuskan setiap objek yang dibicarakan memiliki relasi dengan diri sendiri. Dalam hal krucing, setiap krucing pasti mengungu dirinya sendiri.
x ∼ y ⇒ y ∼ x
R2 disebut sebagai aturan relasi simetrik. Sesuai namanya, aturan ini mengharuskan ada hubungan timbal balik ketika salah satu objek terhubung dengan yang lain.
x ∼ y dan y ∼ z ⇒ x ∼ z
R3 disebut sebagai aturan transitif. Transitif dapat diartikan sebagai menjalar.
Relasi yang mengandung ketiga aturan tersebut (refleksif, simetrik, dan transitif) disebut sebagai relasi ekivalensi.
Beberapa contoh relasi ekivalensi yang dapat kita jumpai sehari-hari misalnya, serumah
, sekelas
, searah
, seumur
, sama dengan
, dan sebagainya.