合。两个定义的差别在于有限集合在前者中算作可数集，而在后者中不算作可数集。为了避免歧义，前一种意义上的可数有时称为至多可数，后一种可数集则称为无限可数集。
定义.如果存在从formula_1到自然数集合formula_2存在单射函数，则"formula_1"称为可数集。如果"formula_1"还是满射，则同样是双射，则称formula_1是无限可数集。换句话说，一个集合要想是无限可数集，它要和自然数集formula_6有一一对应关系。如上所述，这个术语不普遍：一些