Closure of Subset of Closed Set of Topological Space is Subset/Proof 1