Вполне упорядоченное множество (сокр. ВУМ) — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть наименьший элемент. Другими словами, это фундированное множество с линейным порядком.