Definition:Unbounded Real Interval without Endpoints