＞ より、集合Pが集合Qの部分集合であるとは、x∈P⇒x∈Qが常に成り立つ事。
満たしてます。
PP⊂Q
＞ より、集合Sのべき集合とは、 集合Sの部分集合全体のつくる集合の事。
満たしてます。
PP=PowerSet(P)