Definition:Right Half-Open Real Interval