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}$$