Definition:Left Half-Open Bounded Real Interval