Null Relation is Antireflexive, Symmetric and Transitive

Theorem
Let $S$ be a set which is non-empty.

Let $\RR \subseteq S \times S$ be the null relation.

Then $\RR$ is antireflexive, symmetric and transitive.

If $S = \O$ then Relation on Empty Set is Equivalence applies.

Proof
From the definition of null relation:
 * $\RR = \O$

Antireflexivity
This follows directly from the definition:
 * $\RR = \O \implies \forall x \in S: \tuple {x, x} \notin \RR$

and so $\RR$ is antireflexive.

Symmetry
It follows vacuously that:
 * $\tuple {x, y} \in \RR \implies \tuple {y, x} \in \RR$

and so $\RR$ is symmetric.

Transitivity
It follows vacuously that:
 * $\tuple {x, y}, \tuple {y, z} \in \RR \implies \tuple {x, z} \in \RR$

and so $\RR$ is transitive.