Definition:Neighborhood (Pseudometric Space)/Radius