Definition:Half-Open Real Interval