text: Данный термин обозначает линейно упорядоченное множество (то есть множество с некоторым единообразным способом выбора наименьшего и наибольшего значения для произвольной пары элементов), в котором нет бесконечно убывающих последовательностей (хотя могут существовать бесконечно возрастающие), или — в эквивалентной формулировке — множество, в котором любое непустое подмножество содержит наименьший элемент.