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

---

Лине́йно упоря́доченное мно́жество (цепь, сокр. ЛУМ) ― частично упорядоченное множество, в котором любая пара элементов сравнима, то есть для любых двух элементов ${\displaystyle a}$ и ${\displaystyle b}$ имеет место ${\displaystyle a\leqslant b}$ или ${\displaystyle b\leqslant a}$.

Одно из центральных понятий в теории порядков; играет важную роль в общей алгебре, в частности, особо изучаются упорядоченные группы, упорядоченные кольца, упорядоченные поля. Важнейший частный случай линейно упорядоченных множеств ― вполне упорядоченные множества.

Сечением линейно упорядоченного множества ${\displaystyle P}$ называется разбиение его на два подмножества ${\displaystyle A}$ и ${\displaystyle B}$ так, что ${\displaystyle A\cup B=P}$, ${\displaystyle A\cap B=\varnothing }$и для любых ${\displaystyle a\in A}$ и ${\displaystyle b\in B}$: ${\displaystyle a\leqslant b}$. Классы ${\displaystyle A}$ и ${\displaystyle B}$ называются соответственно нижним и верхним классами сечения.

Подмножество ${\displaystyle D}$ линейно упорядоченного множества ${\displaystyle P}$ называется плотным, если каждый неодноэлементный интервал множества ${\displaystyle P}$ содержит элементы, принадлежащие ${\displaystyle D}$.

Всякий максимальный (минимальный) элемент линейно упорядоченного множества оказывается наибольшим (наименьшим).^[1]

Линейно упорядоченное множество вещественных чисел может быть охарактеризовано как непрерывное линейно упорядоченное множество, в котором нет ни наибольшего, ни наименьшего элементов, но содержится счётное плотное подмножество.

---