Topological_Closure_is_Closed