为不可数集。这个术语是康托尔创造的。可数集的元素，正如其名，是“可以计数”的：尽管计数有可能永远无法终止，集合中每一个特定的元素都将对应一个自然数。 “可数集”这个术语有时也指代可数无穷集，即仅代表能和自然数集本身一一对应的集合。两个定义的差别在于有限集合在前者中算作可数集，而在后者中不算作可数集。为了避免歧义，前一种意义上的可数有时称为至多可数，后一种可数集则称为无限可数集。
定义.如果存在从formula_1到自然数集合formula_2存在单射函数，则"formula