Если R - ординал, то
R+1 = R + {R},
R+2 = R + {R,R+1} и т.д.
Очевидно: 1 ~ {R}, 2 ~ {R,R+1}
Стало быть, {R} и {R,R+1} представляют типы
ВУМ {X} из одного и {X,X+1} из двух элементов,
являясь их прототипами.
Архетип мат.структуры - это ее минимальный
начальный прототип при R = 0:
1 = {0} и 2 = {0,1} - архетипы для {X} и {X,X+1}