- Схема конструкции ступени, ступень, M-граф, шкала множеств, характер типизированных элементов.
- Канонические распространения отображений при типизации. Теорема об основных свойствах канонических распространений.
- Определение и критерии биективной переносимости термов и соотношений (с доказательством для отношений равенства и принадлежности, в виде формулировок для остальных критериев).
- Биективно переносимые операции над множествами. Вычисление результирующей типизации.
- Определение рода структуры, сигма-объекта. Примеры родов структур. Непротиворечивость и критерий непротиворечивости рода структуры.
- Вывод и эквивалентность родов структур. Эквивалентная представимость рода структуры с помощью заданной типовой характеристики.
- Операция порождения множества структур данного рода. Операция синтеза родов структур. Критерий непротиворечивости синтезированного рода структуры.