11.7. Транзитивность отношения (К-)проекции-прообраза. Лемма

Отношение К-проекции-прообраза между корректными каркасами транзитивно, что очевидно в силу транзитивности отношения Д-проекции между образующими их деревьями T⚪ и T◎ (9.3.), а также отношения включения ключей в объединяющие их коммутаторы и селекторы: если

SKEL⚪ ⊴ SKEL* и SKEL* ⊴ SKEL◎

то

SKEL⚪ ⊴ SKEL◎ (либо) SKEL◎ ⊵ SKEL⚪

█

Назад Вперёд