Linear Ordered Set Definition