Empty Set Disjoint with Itself

From ProofWiki
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$