Definition:Unbounded Real Interval