Definition:Open Neighborhood/Real Analysis