11.3. Лемма

Пусть дерево T⚪ является проекцией дерева T◎.

Тогда любая ячейка в T⚪ является таковой и в T◎ (согласно свойству транзитивности отношения проекции-прообраза деревьев). █

Назад Вперёд