Definition:Open Unbounded Above Real Interval