Definition:Open Set (Real Analysis)