冪集合の定義はどのようになってるんですか?