> [!NOTE] **Definition** (Asymmetric binary relation) > A [[Binary Relation|binary relation]] $R$ is **asymmetric** iff $\forall x \forall y (R(x,y) \leftrightarrow \lnot R(y,x))$