Definition:Open Neighborhood in Real Euclidean Space