> [!NOTE] **Definition** (Antisymmetric binary relation) > A [[Binary Relation|binary relation]] $R$ is **antisymmetric** iff $\forall x \forall y ((R(x,y) \land R(y,x)) \to x = y)$