Definition:Linear Ordering