Вполне упорядоченное множество — линейно упорядоченное множество $M$ такое, что в любом его непустом подмножестве есть минимальный элемент.
Кантор предполагал что каждое множество может быть вполне упорядочено. (не путать с частично упорядоченными)
Примечание: Если $M$ -- конечное линейно упорядоченное множество, $M$ -- вполне упорядоченное множество.