集合Xが非可算であることは以下の各条件とそれぞれ同値である：Xから自然数全体への集合への単射が存在しない。
一个集合X{\displaystyleX}是不可数集，当且仅当以下任何一个条件成立：不存在从X{\displaystyleX}到自然数集合的单射函数。