# Category:Set Closures

The closure of $H$ (in $T$) is defined as:
$H^- := H \cup H'$
where $H'$ is the derived set of $H$.