Definition:Closed Unbounded Below Real Interval