Definition:Open Subset of Real Numbers