Definition:Open Neighborhood (Real Analysis)