Empty Set Disjoint with Itself
Jump to navigation
Jump to search
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.
$\blacksquare$