Definition:Unbounded Closed Real Interval