>>214
帰納的に構成すればよい。
　
　　S : 種となる無限集合
　　S_1 := S ∪ P(S).
S_2 := S_1 ∪ P(S_1).
.....
S_{n+1} := S_n ∪ P(S_n).

U := ∪_{n ≧ 1} S_n

とか。