topological closure operator

noun1

1. •
   A function on the subsets of a topological space that assigns to each subset its closure: the smallest closed set containing it.