Definition:Left Half-Open Real Interval