＞ もちろんPの「無限」部分集合も全部含まなくてはならない。
なら、無限集合の冪集合を考える事すらもできなくなりそうですが。