8. Отношения между множествами состояний

8.1. Проекция множества состояний на базис

Проекцией множества состояний на базис b⚪, не более широкий, чем базис любого состояния s◎ ∈ S◎, называется множество состояний S⚪, объединяющее проекции всех состояний на указанный базис:

S⚪ = S◎ ↓ b⚪ = ⋃(s◎ ↓ b⚪) █

Назад Вперёд