Definition:Interval of Ordered Set