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

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

Литература

• Hazewinkel, Michiel, ed. (2001), "Continuous set", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4