合称为无限集合。也就是说如果一个集合的基数是自然数，那这个集合就是有限的。所有的有限集合都是可数的，但并不是所有的可数集都是有限的，例如所有素数的集合。有一个定理（、参考分划）是：一个集合是有限的当且仅当不存在一个该集合与它的任何一个真子集之间的双射。