ボレル集合
For any Borel set "B" ⊂ "σ"("A"), the projection "EB" commutes with "A" and therefore the range of "EB" is an invariant subspace of "A".