Asymmetric relation


Definition 1

$$\forall x,y \in S : x{\mathrel{R}}y \Rightarrow \neg(y{\mathrel{R}}x)$$

Definition 2

ProofWiki