Relasi simetris

Relasi simetris merupakan jenis relasi biner, yang secara formal mengatakan bahwa relasi biner $R$ pada himpunan $X$ dikatakan simetri jika

$$\mathrm{\forall }a,b\in X(aRb\iff bRa),$$

dengan notasi $aRb$ mengartikan $(a,b)\in R$. Contoh terkait relasi simetris adalah relasi "sama dengan" (=), karena jika $a=b$ benar, maka $b=a$ juga benar. Relasi simetris merupakan salah satu dari tiga sifat relasi ekuivalensi.