집합 S가 유한집합이거나 S와 ℕ 사이에 일대일 대응이 존재하면 S를 가산집합(countable set)이라 한다. 가산집합이 아닌 집합은 비가산집합이라 한다.
공집합이 아닌 집합 S에 대해 다음은 서로 동등하다.
S,T가 가산집합일 때,