Definition:Unbounded Open Real Interval