2. تعريف رابطهی متقارن: گوييم رابطهي R روي مجموعهی A متقارن است اگر و تنها اگر به ازاي هر a و b از A اگر در R باشند، آنگاه نيز در R باشند. يعني :
روي A متقارن است
يا
روي A متقارن است
مثال 2 : اگر A مجموعهي مثال 1 باشد، هر يك از رابطهی زير را مي توان يك رابطهي متقارن روي A دانست: