Непрерывное множество

Непрерывное множество ― линейно упорядоченное множество $X$, все собственные сечения которого являются дедекиндовыми сечениями, то есть при любом разбиении $X$ на два непустых подмножества $A$ и $B$ таком, что каждый элемент из $A$ предшествует каждому элементу из $B$, либо в $A$ есть наибольший элемент, но в $B$ нет наименьшего элемента, либо в $A$ нет наибольшего элемента, но в $B$ есть наименьший элемент.

Литература

• Шаблон:SpringerEOM