Definition:Right Half-Open Interval