可数集（countable set），是能与自然数集N建立一一对应的集合，又称可列集。如果将可数集的每个元素标上与它对应的那个自然数记号，那么可数集的元素就可以按自然数的顺序排成一个无穷序列a1，a2，a3，…an，…。

比如全体正偶数的集合是一个可数集，全体正奇数的集合也是可数集，它们与自然数集可以建立如下的一一对应。