Definition:Closure (Topology)