Definition:Closed Real Interval Bounded on the Right