همانگونه که در جریان هستید تعریف رابطه نامتقارن به شرح ذیل میباشد:
اگر (a,b) عضو رابطه R باشد، آنگاه چنین نیست که (b,a) عضو رابطه R باشد.
و نیز برای تعریف رابطه پادتقارنی داریم:
اگر (a,b) عضو R باشد و همچنین (b,a) عضو R باشد، داریم a=b
حال پرسشی که ذهن مرا به خود درگیر کرده این است که آیا زوج مرتبی در رابطه نامتقارن وجود دارد که مولفهی اول و دوم آن باهم برابر باشند؟ برای مثال (3,3)
