Definition:Closed Unbounded Above Real Interval