Relation is Antireflexive iff Disjoint from Diagonal Relation

Theorem
A relation $$\mathcal{R} \subseteq S \times S$$ is antireflexive iff it is disjoint from the diagonal relation: $$\Delta_S \cap \mathcal{R} = \varnothing$$.