Definition:Closed Set of Metric Space