20.2. Главная теорема

Пусть даны согласованные системы ВС

SVS⚪ = <T⚪, SH⚪, COM⚪, SEL⚪, VS⚪> и

SVS◎ = <T◎, SH◎, COM◎, SEL◎, VS◎>

такие, что их основы [SVS⚪] и [SVS◎] находятся в отношении О-проекции.

Тогда характерные черты согласованной системы SVS⚪ служат проекцией характерных черт системы SVS◎, доказательством чего служат результаты леммы 17.3 и теоремы 19.9.

То есть, SVS⚪ и SVS◎ соотносятся как полные прообраз-проекция. █

Назад Вперёд