仮に「素数の無限積」のすべての組み合わせの集合をXとしよう。
それでもX←→Nの全単射が存在しないことは対角線論法で容易にわかる。(R←→Nと同様)