 Closure

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