ボレル集合
Moreover, if for any Borel set "A", π("A") is the projection operator