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