Понял. Сейчас все расскажу.
Пусть

и

- линейно упорядоченные множества. Множество

называется
подобным множеству

, если

и

изоморфны как частично упорядоченные множества.
Порядковым типом линейно упорядоченного множества

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

.
Будем считать 0 порядковым типом

. Через

обозначим порядковый тип множества

, где

. Обозначим через

и

порядковые типы множеств натуральных, отрицательных целых(с порядком

) и рациональных чисел соответственно.
Пусть дано семейство попарно попарно непересекающихся линейно упорядоченных множеств

с порядковыми типами

и порядками

соответственно, где

, а

линейно упорядочено отношением

.
Суммой порядковых типов 
называется порядковый тип множества

c порядком

, определенным следующим образом:
Пусть

и

- порядковые типы линейно упорядоченных множеств

и

с порядками

и

соответственно.
Произведением порядковых типов 
и

называется порядковый тип множества

с порядком

, определенным следующим образом:
