如果一个无限集中的元素可按某种规律排成一个序列,则称其为可列集.每个无限集必包含可列子集,但无限集并非一定是可列集.
种类
自然数集、有理数集、代数数集都是可列集.
实数集、复数集、直线点集、 平面点集都是不可列集(或不可数集).
可列集是最小的无限集; 它的幂集是不可数集--和实数集存在一一对应(也称同势).所谓幂集,就是原集合中所有的子集(包括全集和空集)构成的集族.
重要性质
这些性质是在我们承认选择公理得出的:
1、 有限个可列集的并是可列集.
2、 可列个可列集的并是可列集.
3、 任何可列集的的无穷子集是可列集.
4、 任何无穷集都包含一个可列的真子集.
5、 一个无穷集并上一个可列集还与其自身等势 .
6、 可列集的幂集与实数集等势.