Empty Set Disjoint with Itself

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

Proof
From Intersection with Empty Set, for all sets $S$, $S \cap \O = \O$.

The result follows from the definition of disjoint sets.