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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

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

Литература[править | править код]