Vって何?
普通P(X)って集合Xのべき集合を表すんだけど
>P(V)をVに含まれる部分集合の全体と考えれば
は独自定義?