# Empty Set is Element of Topology

## Theorem

Let $T = \struct {X, \tau}$ be a topological space.

Then the empty set $\O$ is an open set of $T$.

## Proof

$\O \subseteq \tau$
$\ds \O = \bigcup \O$
$\O \in \tau$

$\blacksquare$