１からｎまでの自然数を要素に持つ集合をＭｎとします。ｎは任意の自然数。
Ｍｎ＝｛１，２，３，４，５，…，ｎ｝
Ｍｎのベキ集合をＰ（Ｍｎ）とします。
次に、１から２＾ｎまでの自然数を要素に持つ集合をＱｎとします。
Ｑｎ＝｛１，２，３，４，５，…，ｎ，…，２＾ｎ｝
Ｑｎに含まれる要素と、Ｐ（Ｍｎ）に含まれる要素は、一対一対応させることが可能です。
これは、任意の自然数ｎにおいて成り立ちます。
ｎの値が大きくても成り立ちます。どんなに大きな自然数でも成り立ちます。
しかし、
と 
の要素を一対一対応させることは出来ないようです。
