9.3. Транзитивность отношения проекции-прообраза путей. Лемма

Отношение проекции-прообраза путей между произвольными вершинами указанных деревьев T⚪ и T◎, находящихся в отношении Д-проекции-прообраза, транзитивно (произвольные вершины, связанные путём в T0⚪, остаются таковыми в любой цепочке деревьев T1◎ .. Tk◎, где каждое следующее является прообразом предыдущего). █

Назад Вперёд