Цитата из "Элементы теории функций и функционального анализа" Колмогоров, Фомин, 1981, стр. 38, глава 1, параграф 4
Цитата:
Рассмотрим совокупность всех порядковых чисел, отвечающих конечной или счётной мощности. Они образуют вполне упорядоченое множество
Почему образуют? Для этого надо чтобы любое подмножество имело наименьший элемент (по определению). Ничего не сказано :(
А самому непонятно. Как я понимаю это важный пример несчётного вполне упорядоченого множества. Разъясните как доказывается или мотивируется полная упорядоченость.
