Definition:Left Half-Open Interval