Definition:Open Real Interval