رابطۀ متقارن

رابطه‏ای دوتایی مانند R در یک مجموعه به‌طوری‌که اگر aRb آنگاه bRa