Definition:Closed Set (Metric Space)