A dyadic relation R is symmetric if and only if, whenever it's true that Rab, it's true that Rba.
Sebuah hubungan diadic R adalah simetri jika dan jika, ketika benar untuk Rab, benar untuk Rba.