可數集 在数学上可数集或称可列集是与自然数集的某个子集具有相同基數等势的集合在这个意义下可数集由有限可数集和無限可數集组成不是可数集的无穷集称为不可数集这个术语是康托尔创造的可数集的元素正如其名是可以计数的尽管计数有可能永远无法终止集合中每一个特定的元素都将对应一个自然数 可数集这个术语有时也指代可数无穷集即仅代表能和自然数集本身一一对应的集合两个定义的差别在于有限集合在前者中算作可数集而在后者中不算作可数集 为了避免歧义前一种意义上的可数有时称为至多可数后一种可数集则称为无限可数集