Null Relation is Antireflexive, Symmetric and Transitive

Theorem
The null relation is antireflexive.

Proof
This follows directly from the definition:

$$\mathcal{R} = \varnothing \Longrightarrow \forall x \in S: \left({x, x}\right) \notin \mathcal{R}$$