Definition:Neighborhood of Point