無限集合の定義は
「自身と対等な真部分集合を持つもの」
とすればよいが
「自然数全体の集合と対等な部分集合をもつもの」
としてもかまわない