En mathématiques, une relation R sur un ensemble E est dite antisymétrique si elle vérifie : ∀ x, y ∈ E ⇒ x = y {\displaystyle \forall x,y\in E\,\Rightarrow x=y\,\,} ce qui signifie que l'intersection de son graphe avec celui de sa relation réciproque est incluse dans la diagonale de E, autrement dit : R ∩ R − 1 ⊂ Δ X {\displaystyle R\cap R^{-1}\subset \Delta _{X}}. Wikipedia