凡是和全体正整数所构成的集合对等的集合都称为可数集合、或者叫可列集合、可列无限集。

由于可以按大小顺序排成一个无穷序列，因此一个集合A是可数集合的充要条件为：A可以排成一个无穷序列

可数集合是无限集合。