Definition:Closure (Topology)/Definition 2

Definition
Let $T$ be a topological space.

Let $H \subseteq T$.

The closure of $H$ is:
 * $\operatorname{cl} \left({H}\right) := H \cup H'$

where $H'$ is the derived set of $H$.