가산 집합: 두 판 사이의 차이

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