Linear Order Definition