16.1. Отношение (О-)проекции-прообраза основ систем

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

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

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

такие, что

1. корректный каркас

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

   является К-проекцией для корректного каркаса

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

2. каждая базовая ВС vs⧋⚪ из VS⧋⚪, сопряженная с произвольным листом nd дерева T⚪:
   1. совпадает с базовой ВС vs⧋◎ из VS⧋◎, сопряженной с той же nd в T◎, если в нём nd – это также лист

      vs⧋⚪ = vs⧋◎

   2. совпадает с некоторой частичной vs⫧◎ из VS⫧◎, сопряженной с той же nd в T◎, если в нём nd - это узел

      vs⧋⚪ = vs⫧◎

3. каждая частичная ВС vs⫧⚪ из VS⫧, сопряженная с произвольным узлом nd дерева T⚪, совпадает с некоторой частичной vs⫧◎ из VS⫧◎, сопряженной с тем же узлом nd в T◎

   vs⫧⚪ = vs⫧◎

Тогда между основами [SVS⚪] и [SVS◎] установлено отношение (О-)проекции. █

Назад Вперёд