Definition:Closed Unit Interval