Definition:Bounded Real Interval