Closure (source code)

= Closure
{title2=$\overline A$}
{wiki=Closure_(topology)}

The closure of a subset is the smallest closed set containing it, equivalently the set of points whose every neighbourhood meets it.