7.3. Отношения "не уже" и "не шире" (проекции-прообраза) между базисами

Некоторый базис не уже чем другой, а тот не шире, чем первый, если:

• либо у обоих базисов полностью совпадают состав переменных
• либо первый содержит помимо переменных из второго базиса какие-либо дополнительные переменные

Эти отношения "не уже" и "не шире" можно также называть отношениями (Б-)проекции-прообраза (между базисами). █

Замечание

При работе с состояниями разных базисов обычно приходится переходить к рассмотрению состояний их объединённого базиса, про который хочется сказать, что он ШИРЕ исходных. Но из-за того, что на практике для этого отношения помимо транзитивности требуется также и его рефлексивность, приходится вводить несколько громоздкие "не уже" и "не шире".

Назад Вперёд