Asymmetric Binary Relation

Definition

Asymmetric Binary Relation

A binary relation $R\subseteq X\times X$ is asymmetric if $x$ relates to $y$, then the reversed doesn’t hold, i.e.,

$$\forall x\in X\forall y\in XxRy⟹\neg (xRy).$$