凡是和全体正整数所构成的集合对等的集合都称为可数集合、或者叫可列集合、可列无限集。
由于可以按大小顺序排成一个无穷序列,因此一个集合A是可数集合的充要条件为:A可以排成一个无穷序列
可数集合是无限集合。