Definition:Real Interval/Half Open