2003-12-21 練習 etc を示せ。 の部分集合を三つに分ける。 有限集合全体 補集合が有限集合なもの それ以外 及び及びは可算集合。また、なので、。はの無限部分集合全体である。 Nの無限部分集合全体に対して特性関数を用いて、Bからに対して無限級数で全単射が与えられる。 よって、