如果一个集合于自然数集合之间存在一一对应 ，则这个集合称为可列集（或可数集）； 也就是说， 存在一个从该集合到自然数集合的双射（也称可逆映射）。
自然数集、有理数集、代数数集都是可列集。
实数集、复数集、直线点集、 平面点集都是不可列集（或不可数集）。
可列集是最小的无限集； 它的幂集是不可数集--和实数集存在一一对应（也称同势）。 所谓幂集， 就是原集合中所有的子集（包括全集和空集）构成的集族。
康托第一个认真研究了无限集合， 分清了可列集和不可数集的区别， 并用对角线法证明了实数集不是可列集。此外，康托指出了幂集的势总是严格大于原集合。由此结论导致了康托猜想（即连续统假设）和康托悖论。
康托猜想：不存在一个集合， 它的势严格大于可列集的势， 同时严格小于实数集的势。
逻辑学家歌德尔证明了这个连续统假设是不能被证明的，也不能被证伪--就是说不能从现有的数学公理体系推演出该结论或者否定该结论。
康托悖论： 考虑所有的集合组成的最大的集族， 这个集族的幂集当然也是集合， 所以本身也是该集合的一部分， 从而它的势应该不超过原集合的势；但是另一方面， 幂集的势有严格大于原集合的势， 从而导致矛盾。
罗素首先意识到集合的概念存在问题。 他提出所谓的类型论， 指出有一类“集合”并不是真正的集合， 而是所谓的“类”，集合本身是不能包含自身的；“类”却可以。 从这个角度出发，就可以解释上述的悖论。
等势（等基数）的相关概念
定义：集合A与集合B等势(等基数)，当且仅当，A与B之间存在双射（一一对应、可逆映射）。
在此意义下，刻画了两个无穷集合比较“多少”的一种办法。但这里的“多少”概念只是一种直观的解释，已经和有限集合比较多少的情况发生了变化。
在有限集合中，一个集合不可能与其真子集等势。但在无限集合的比较，则不同。比如，自然数集和偶数集之间，可以通过双射 f(n)=2n 建立一一对应的关系。所以自然数集和偶数集是等势的，虽然偶数集是自然数的真子集。集合论认为，这种与其某一真子集等势的性质，恰好反映了无穷集合的本质，反映出了有限集和无穷集之间的一个重大区别。
关于可列集的几个重要性质(这些性质是在我们承认选择公理得出的)：
1、 有限个可列集的并是可列集。
2、 可列个可列集的并是可列集。
3、 任何可列集的的无穷子集是可列集。
4、 任何无穷集都包含一个可列的真子集。
5 一个无穷集并上一个可列集还与其自身等势 。
6、 可列集的幂集与实数集等势。
详见百科词条：基数、集合论、双射、一一对应、可逆映射、选择公理。
