Линейный порядок характеризуется тем, что для него любая пара элементов сравнима.
Для примера: на множестве натуральных чисел N обычное отношение <= является линейным порядком (для любой пары натуральных чисел m, n имеет место хотя бы одно из условий: m<=n или n<=m). Теперь возьмём множество-степень множества {1, 2} (множество всех подмножеств данного множества), с отношением включения. Этот порядок не является линейным: {1} не является подмножеством {2}, {2} не является подмножеством {1}.