“可列”的意思是可以按某种规律排列。如果一个无限集中的元素可以按某种规律排列成一个序列，则称其为可列集。自然数集、有理数集、代数数集都是可列集。

定义：如果一个集合与自然数集合之间存在一一对应，则这个集合称为可列集（或可数集）；也就是说，存在一个从该集合到自然数集合的双射（也称可逆映射）。

性质：

1、有限个可列集的并是可列集。

2、可列个可列集的并是可列集。

3、任何可列集的的无穷子集是可列集。

4、任何无穷集都包含一个可列的真子集。

5、一个无穷集并上一个可列集还与其自身等势。

6、可列集的幂集与实数集等势。