Null Relation is Antireflexive, Symmetric and Transitive

Theorem
The null relation is antireflexive.

Proof
This follows directly from the definition:
 * $$\mathcal R = \varnothing \implies \forall x \in S: \left({x, x}\right) \notin \mathcal R$$