Closure of Subset of Indiscrete Space

Theorem
Let $T = \left({S, \left\{{\varnothing, S}\right\}}\right)$ be an indiscrete topological space.

Let $\varnothing \subsetneq H \subseteq S$ (that is, let $H$ be a non-empty subset of $T$).

Then:
 * $H^- = H^{- \circ} = H^{- \circ -} = S$

where:
 * $H^\circ$ denotes the interior of $H$
 * $H^-$ denotes the closure of $H$.

Proof
From Limit Points of Indiscrete Space, every point in $S$ is a limit point of $H$.

So from the definition of closure, $H \ne \varnothing \implies H^-= S$.

From the open set axioms, $S$ is open in $T$.

From Interior of Open Set, $S^\circ = S$.

From Topological Space is Open and Closed in Itself, $S$ is closed in $T$.

From Closed Set Equals its Closure, $S^- = S$.

The result follows.