7.11. Функция произведения состояний. Лемма

У множества состояний не может быть более одного произведения.

Поэтому его получение можно рассматривать как частичную, то есть как не везде определённую функцию (произведения).

Назад Вперёд