可算集合
可算集合とは N と濃度が等しい集合のことである。すなわち、集合 S が可算であるとは、自然数全体の集合 N との間に全単射が存在することをいう。
また、高々可算な集合とは、N の濃度以下の濃度を持つ集合のことである。すなわち、集合 S が高々可算であるとは、S から N へ単射が存在することをいう。これは、N から S へ全射が存在することと同値である。
慣例では、可算集合の濃度を א 0 {\displaystyle \aleph _{0}} (アレフゼロ、aleph-null)で表す。例えば、N の濃度が可算であることを | N | = א 0 {\displaystyle |\mathbb {N} |=\aleph _{0}} などと表す。