可数集合是数学中集合论的一个基本概念。一个集合如果其元素可以与自然数集（即正整数集）建立一一对应的关系，那么这个集合就被称为可数集合。换句话说，可数集合的元素可以按顺序排列，即使这个集合可能是无限的。可数集合分为两类：有限可数集合和无限可数集合。有限可数集合是指元素数量有限的集合，而无限可数集合是指元素数量无限但与自然数集等势的集合。例如，整数集和有理数集都是无限可数集合的典型例子。可数集合在数学的许多分支中都有重要应用，特别是在实分析、测度论和拓扑学等领域。理解可数集合的性质有助于研究更复杂的数学结构和问题。