Definition:Closure (Metric Space)