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

- (линейно) упорядоченное множество X, все собственные сечония к-рого являются дедекиндовыми сечениями, т. е. при любом разбиении Xна два непустых подмножества X' и X" таком, что каждый элемент из X' предшествует каждому элементу из X", либо в X' есть наибольший элемент, но в X" нет наименьшего элемента, либо в X' нет наибольшего элемента, но в X" есть наименьший элемент. М. И. Войцехоеский.