要看具体定义了，不同的书有不同的定义。一般可列(countable)表示无穷多个，且可以由自然数集合编号；而至多可列（at most countable） 表示有限也行，无穷多且可以由自然数集合编号也行。
