Definition:Half-Open Interval