عَلاقَةٌ مُتَخَالِفَة (anti-symmetric relation)

عَلاقَةٌ مُتَخَالِفَة العلاقةُ $R$ على الفئة $S$ تكون متخالِفَةً إذا كان $a R b$ و $b R a$ يُؤَدِّيَانِ إلى $a = b$، حيث $a , b \in S$.