Definition:Open Unbounded Below Real Interval