9.20. Лемма

Пусть даны N И-связанных или матрично (канально)-связанных ВС VS1 ... VSN.

Тогда для любого состояния s1, принадлежащего [VS1], найдутся N-1 состояний s2 .. sN из оставшихся ВС, находящихся с s1 в отношении И.

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

Им служит, собственно, определения произведения и канальной связи ВС. █

Назад Вперёд