一种意义上的可数有时称为至多可数，后一种可数集则称为无限可数集。
定义.如果存在从formula_1到自然数集合formula_2存在单射函数，则"formula_1"称为可数集。如果"formula_1"还是满射，则同样是双射，则称formula_1是无限可数集。换句话说，一个集合要想是无限可数集，它要和自然数集formula_6有一一对应关系。如上所述，这个术语不普遍：一些作者在这里使用可数来表示被称为“无限可数”，并没有包括有限集。
介绍.