رابطه پادمتقارن

رابطه پادمتقارن

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

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

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

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

دو مثال:

مثال 3 : هر يك از مجموعه‌هاي زير مي تواند يك رابطه پادمتقارن روي A ( معرفي شده در مثال 1 ) باشد :

مثال 4 :‌ رابطه هاي زير روي A ( معرفي شده در مثال 1 ) پاد متقارن نيستند :

رابطه ي چون اما پس پاد متقارن نيست.

همچنين در رابطه ي اما پس پاد متقارن نيست.