Спасибо за ответы!
@mihaild, Теперь возникает вопрос о существовании всевозможных изоморфизмов...
@Mikhail_K, Спасибо за полезные ссылки!
@Padawan, то есть это можно переписать так? Построим для каждого порядкового числа

множество

соответствующего порядка. По определению порядкового числа ему соответствует вполне упорядоченное множество, элементы которого меньше или равны

. Эти элементы все сравнимы между собой, значит каждый из них определяет начальный отрезок, следовательно сам по сути является порядковым числом. Значит

является множеством порядковых чисел меньших

. Но мне не понятно почему

содержит все порядковые числа меньшие

.