Category:Topological Closure of Subset is Subset of Topological Closure