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