Линейно упорядоченное множество - определение

Линейно упорядоченное множество - частично упорядоченное множество, в котором для любых двух элементов $a$ и $b$ имеет место $a\leqslant b$ или $b\leqslant a$.