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

Отношение Д-проекции-прообраза между деревьями транзитивно, что очевидно в силу транзитивности отношений включения множеств, как вершин (по определению), так и путей между ними (согласно лемме 9.2): если

T⚪ ⊴ T* и T* ⊴ T◎

то

T⚪ ⊴ T◎ (T◎ ⊵ T⚪)

. █

Назад Вперёд