16.22. Элементарный шаг модификации основы типа Е

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

[SVS◎] = <T◎, COM◎, SEL◎, VS⧋◎, VS⫧◎> и

[SVS⚪] = <T⚪, COM⚪, SEL⚪, VS⧋⚪, VS⫧⚪>

Тогда одна из них считается полученной элементарным шагом (модификации основы) типа Е другой (и образованные из них системы ВС) в случае если:

• их каркасы

  SKEL⚪ = <T⚪, SH⚪, COM⚪, SEL⚪> и

  SKEL◎ = <T◎, SH◎, COM◎, SEL◎>

• корректны и тождественны
• множество базовых ВС VS⧋◎ отличается от VS⧋⚪ только тем, что некая ВС vs⧋⚪ из VS⧋⚪ является проекцией соответствующей vs⧋◎ из VS⧋◎
• множество VS⫧◎ и VS⫧⚪ их частичных ВС совпадают

█

Назад Вперёд