في الرياضيات، أي علاقة ثنائية 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}
.