可列集(或可 數集)是指 一個 無限集中可以 與自然 數集(正整 數集)之 間存在一一 對 應的集合。
可列集的元素可以按照一定的 規律排列成 一個序列,例如自然 數集、有理 數集、代 數 數集都是可列集的例子。 與之相 對的是不可列集,其元素不能 與自然 數集之 間形成一一 對 應,如 實 數集和 複數集。
此外,可列集的一些重要性 質 包括:
任何有限 個可列集的 併集是可列集。
可列 個可列集的 併集也是可列集。
任何 一個可列集的真子集也是可列集。
一個 無 窮集如果包含 一個可列的真子集, 則它本身也是不可列的。