Definition:Neighborhood (Analysis)/Metric Space