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

[CatWarrior]

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

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

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

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

[CatWarrior]

Да что-то так везде определяют порядковый тип.

Просто я думал что тут может кто подскажет более понятное опрделение.

Еще учитель говорил:
можно разбить на классы изоморфные между собой множества (т.к. изоморфизм - обесбечивает эквивалентное соотношение)
вобщем вроде выходит что объединяет изоморфные множества в один класс и есть порядковый тип.

т.е. это случайно не способ упорядочивания?

Сообщение отредактировано: CatWarrior - 7.01.2006 12:21