Порядковый тип, Недопонимаю Опции

[CatWarrior]

Вот определение порядкового типа :
То общее что присуще любым двум изоморфным между собой частично упроядоченным множествам называется порядковым типом

А что имеется ввиду? Мне на ум приходит только мощность т.к. изоморфные множества эквивалентны.
Но т.к. однинаковая мощность не значит что это и одинаковый тип то чего-то я не могу уловить. Может еще к учету счетности и бесконечности прибавляется способ упорядочивания.

Если кто решится меня поправить то если можно лучше это сделать на примере
n+w=w
n-конечное абсолютно упорядоченное
w- множество натуральных чисел с естественным отношением к порядку (т.е. бесконечное абсолютно упорядоченное)

если понимать под порядковыми типами мощность то да получится =w т.к. n-счетно и не влияет на ответ.
но ведь w+n не равно w почему?

[Lapp]

То общее что присуще ...

Что-то это не похоже на точное математическое определение.. Странное выражение. Скорее, попытка создать образ для объяснения. Только - что объяснять без определения как такового?
Добавь инфы еще.