可数无限集是指每个元素都能与自然数集N的每个元素之间能建立一一对应的无限集合。 可数集的一个定义是“能与自然数集的某个子集一一对应的集合”。在这个意义下不是可数集的集合称为不可数集。这个术语是康托尔创造的。可数集的元素，正如其名，是“可以计数”的：尽管计数可能永远无法终止，集合中每一个特定的元素都将对应一个自然数。