Relasi simetris

Relasi simetris merupakan jenis relasi biner, yang secara formal mengatakan bahwa relasi biner R {\displaystyle R} pada himpunan X {\displaystyle X} dikatakan simetri jika[1]

a , b X ( a R b b R a ) , {\displaystyle \forall a,b\in X(aRb\Leftrightarrow bRa),}

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

Referensi

  1. ^ a b Biggs, Norman L. (2002). Discrete Mathematics. Oxford University Press. hlm. 57. ISBN 978-0-19-871369-2. 
  • l
  • b
  • s