喺集合論上，如果話一個集係可數集，概念上即係話個集嘅基數（簡單講就係個集包含咗幾多嚿嘢）比自然數呢個集嘅基數細，用嚴格嘅數學語言嚟講，就係存在由呢個集去自然數集嘅單射。