19.9. Теорема

Если в условии теоремы 19.5 к рассмотрению системообразующих ВС добавить частичные ВС, то и в этом случае И-ЛИБО-ячейка в системе - прообразе также будет существовать.

Доказательство

Построение И-ЛИБО-ячейки с использованием состояний из частичных ВС означает, что для каждого такого состояния в соответствующей системообразующей ВС имеется его прообраз – порожденное от него состояние.

Поскольку согласно определению О-проекции сохраняются частичные ВС, то переход от указанного порожденного (от состояния соответствующей дополнительной ВС) состояния (в системе SVS⚪) к его прообразу (в системе SVS◎) сохраняет его свойство «быть порожденным» от одного и того же состояния.

Значит, наряду с И-ЛИБО-ячейкой, основанной на состояниях из системообразующей ВС, существует также И-ЛИБО-ячейка на состояниях из сопряженных с теми же узлами частичных ВС, что и требовалось доказать. █

Назад Вперёд