Category:Closure of Subset of Closed Set of Topological Space is Subset