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

در ریاضیات رابطه دوتایی مثل R روی مجموعه X پادمتقارن است که به ازای هر دو عضو a و b در X اگرهم a با b و هم b با a رابطه داشته باشد آنگاه نتیجه شود a = b است.

به بیان ریاضی رابطه R روی X پادمتقارن است اگر:

$\forall a, b \in X,\ a R b \and b R a \; \Rightarrow \; a = b$

همین‌طور برابر با این تعریف می‌توان این‌گونه گفت:

$\forall a, b \in X,\ a R b \and a \ne b \Rightarrow \lnot b R a.$

منبع

• مشارکت‌کنندگان ویکی‌پدیا، «Antisymmetric relation»، ویکی‌پدیای انگلیسی، دانشنامهٔ آزاد (بازیابی در ۴ اوت ۲۰۰۸).