في الرياضيات، أي علاقة ثنائية R معرفة على مجموعة ما X, هي علاقة ضد تناظرية إذا تحقق ما يلي:
∀ a , b ∈ X , ( a R b ∧ b R a ) ⇒ a = b {\displaystyle \forall a,b\in X,\ (aRb\land bRa)\;\Rightarrow \;a=b}
