가산 집합

위키백과 ― 우리 모두의 백과사전.

가산 집합(可算集合, countable set)이란 자연수의 집합으로의 단사 함수가 존재하는 집합을 말한다. 가산집합이 아닌 집합을 비가산 집합(非可算集合, uncountable set)이라 한다. 자연수, 정수, 유리수의 집합은 가산집합이고, 실수의 집합은 비가산집합이다.

일반적으로 가산 집합에는 유한집합이 포함되지만, 유한집합을 제외하고 셀 수 있는 무한집합만을 가리키는 경우도 있다. 엄밀히는 앞의 경우 가산 이하(at most countable)라는 표현을, 뒤의 의미에 대해 가산 무한(countable infinite)이나 가부번집합(可附番集合, denumerable set)이라고 표현한다.