Saya mau tau Definisi dari Relasi ekuivalensi

Suatu relasi biner ~ pada himpunan X disebut merupakan relasi ekuivalensi jika dan hanya jika bersifat reflektif, simetris dan transitif. Artinya, untuk semua a, b dan c dalam X: