Definition:Antisymmetric Relation/Definition 2

Definition
Let $\mathcal R \subseteq S \times S$ be a relation in $S$. $\mathcal R$ is antisymmetric :
 * $\tuple {x, y} \in \mathcal R \land x \ne y \implies \tuple {y, x} \notin \mathcal R$

Also known as
Some sources render this concept as anti-symmetric relation.

Some sources (perhaps erroneously) use this definition for an asymmetric relation.

Also see

 * Equivalence of Definitions of Antisymmetric Relation


 * Definition:Symmetry (Relation)


 * Definition:Symmetric Relation
 * Definition:Asymmetric Relation
 * Definition:Non-symmetric Relation