>>572
べき集合をどう定義したかによる