Отношение частичного порядка называется линейным порядком, если для любых значений х и у имеет место либо xRy, либо уRх.