可數集(countable set),是能與自然數集N建立一一對應的集合,又稱可列集。如果將可數集的每個元素標上與它對應的那個自然數記號,那麼可數集的元素就可以按自然數的順序排成一個無窮序列a1,a2,a3,…an,…。
比如全體正偶數的集合是一個可數集,全體正奇數的集合也是可數集,它們與自然數集可以建立如下的一一對應。