16.24. Лемма

В построенном алгоритмом 16.2Е ряде основ систем [SVS⧋1] .. [SVS⧋N] соседние члены очевидно связаны ЭШ типа Е, а значит, находятся в отношении О-проекции.

Согласно свойству транзитивности (16.2) – в этом же отношении находятся, следовательно, и сами транзитивности основ (16.2) – в этом же отношении находятся, следовательно, и сами [SVS◎] и [SVS⧋]N. █

Назад Вперёд