Definition:Closed Interval