集合论的一基本概念。与自然数集合有一一对应关系的集合都叫做可数集合，它们的基数都是
(参见阿列夫、基数)。奇数集合、偶数集合、有理数集合、代数数集合都是可数的。可数集合有如下重要性质：
1．任一可数集合的无穷子集合仍然可数；
2．可数集合S或附加上一有穷集合，或删去其中的有穷个元素，结果仍然可数；
3．二可数集合的并集合，还是一可数集合；
4．可数无穷多个可数集合的并集合，仍然是一可数集合。
一集合是有穷的或可数的常称为至多可数的。有些文献中也称至多可数集合为可数集合。因此，读者遇到这一名词时要考察一下上下文，以便正确理解作者的含义。