Definition:Right Half-Open Bounded Real Interval