Definition:Closed Bounded Real Interval