Antisymmetric Relation

A Relation $R$ on a Set $S$ is antisymmetric provided that distinct elements are never both related to one another. In other words $x R y$ and $y R x$ together imply that $x = y$.