Closure

in a topological space, the smallest closed set containing a given set