>>455
＞Qの任意の元の要素数が有限になる
正しいと思いますが。
ならPPの任意の元の要素数も有限で無ければならない?
なるほど。
しかし、となると冪集合の他の集合との
包含関係は全く語れなくなりますよね。