Jabarkan Simetri di logika dari Simetri

Sebuah hubungan diadic R adalah simetri jika dan jika, ketika benar untuk Rab, benar untuk Rba. Kata-kata seumur dengan adalah simetri, untuk jika Paul seumur dengan Mary, maka Mary seumur dengan Paul.