Цілком упорядкована множина

лінійна впорядкована множина, в якій для кожної непорожньої підмножини існує найменший елемент відповідно до заданого порядку