Definition:Neighborhood (Pseudometric Space)