Definition:Closed Real Interval Bounded on the Left