Empty Set Disjoint with Itself

Theorem
The empty set is disjoint with itself:
 * $$\varnothing \cap \varnothing = \varnothing$$

Proof
From Intersection with Null, we have that, for all sets, $$S \cap \varnothing = \varnothing$$.

The result follows from the definition of disjoint sets.