Definition:Neighborhood of Real Number