Empty Set Satisfies Topology Axioms

Theorem
Let $T = \struct {\O, \set \O}$ where $\O$ denotes the empty set.

Then $T$ satisfies the open set axioms for a topological space.

Proof
We proceed to verify the open set axioms for $\set \O$ to be a topology on $\O$.

Let $\tau = \set \O$.

By Union of Empty Set:
 * $\ds \bigcup \tau = \O \in \tau$

Thus is satisfied.

From Intersection with Empty Set:
 * $\O \cap \O = \O \in \tau$

and so is satisfied.

By definition $\O \in \tau$ and so is satisfied.

All the open set axioms are fulfilled, and the result follows.