Closed Sets in Indiscrete Topology

Theorem
Let $T = \struct {S, \set {\O, S} }$ be an indiscrete topological space.

Let $H \subseteq S$.

$H$ is a closed set of $T$ either $H = S$ or $H = \O$.

Proof
A set $U$ is closed in a topology $\tau$ :
 * $\relcomp S U \in \tau$

where $\relcomp S U$ denotes the complement of $U$ in $S$.

That is, the closed sets are the complements of the open sets.

From Open Sets in Indiscrete Topology, in $\tau = \set {\O, S}$, the only open sets are $\O$ and $S$.

Hence the only closed sets in the indiscrete topology on $S$ are:
 * $\relcomp S \O = S$ from Relative Complement of Empty Set

and:
 * $\relcomp S S = \O$ from Relative Complement with Self is Empty Set

as stated.