Definition:Unbounded Ordered Set