가산 집합(可算集合)이란 유한집합이나, 자연수의 집합과 일대일 대응이 가능한 무한집합을 말한다. 가산집합이 아닌 집합을 비가산 집합(非可算集合)이라 한다.
자연수, 정수, 유리수의 집합은 가산집합이다. 그러나 실수의 집합은 비가산집합이다. 이 사실은 게오르크 칸토어가 고안한 대각선 논법으로 증명할 수 있다.
분류: 수학 토막글 | 집합론