Singleton Set in Discrete Space is Compact/Proof 2

Theorem

Let $T = \struct {S, \tau}$ be a topological space where $\tau$ is the discrete topology on $S$.

Let $x \in S$.

Then $\set x$ is compact.

Proof

Follows directly from Finite Topological Space is Compact.

$\blacksquare$