Definition:Linearly Ordered Set