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