Definition:Half-Open Bounded Real Interval