Definition:Antisymmetric Relation/Definition 2

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

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