تعريف رابطه ي پاد متقارن:

گوييم رابطه ي R روي مجموعه‌اي مانند A « پادمتقارن » است اگر و تنها اگر براي هر a و b از A ، اگر و هر دو در R باشند، آنگاه نتيجه بگيريم كه a = b . يعني :

روي A پادمتقارن است

روي A پادمتقارن است .