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

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

در ریاضیات رابطه دوتایی مثل 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»، ویکی‌پدیای انگلیسی، دانشنامهٔ آزاد (بازیابی در ۴ اوت ۲۰۰۸).