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