9.4. Транзитивноть отношение проекции-прообраза между ВС. Лемма

Отношение проекции-прообраза между ВС транзитивно, то есть, если:

vs2 ⊵ vs1 и vs3 ⊵ vs2

то

vs3 ⊵ vs1

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

1. Базис |vs3| не уже, чем |vs1| в силу транзитивности отношения базисов.
2. Согласно определению отношения проекции для любого состояния s1 из vs1 найдётся в vs2 его прообраз - состояние s2, а в vs3 - прообраз для s2 - состояние s3.

   В силу транзитивности отношения проекции состояний s3 является прообразом и для s1.█

Назад Вперёд