Manuscript VII-E@1 · VII-E.tex · section · b713cf3c
Classical block-diagonal state spaces
Record compatibility, residuals, and composition › Classical block-diagonal state spaces · lines 1606–1611
The image need not itself be an algebra. The statement uses it as the actual observable linear space on the restricted states.