Empty Set Disjoint with Itself

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

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

The result follows from the definition of disjoint sets.