Definition:Half-Closed Interval