'''가산집합, 셀 수 있는 집합''' (KMS)

원소의 개수가 유한이거나, 자연수 집합과 원소의 개수가 같은 집합? chk

[[유한집합,finite_set]] 혹은 [[가부번집합,denumerable_set]].

ex.
[[유리수,rational_number]] 집합은 '''가산집합'''이다..
[[실수,real_number]] 집합은 가산집합이 아니다, [[Georg_Cantor]]가 diagnonalization 뭐뭐 - rel diagonal argument ?로 증명.

= Excerpts =
A set $X$ is said to be denumerable provided that $X\sim N.$
A '''countable set''' is a set which is either finite or denumerable.
(Lin p122 Definition 3)

= 추가에참고 =
http://www.gabormelli.com/RKB/Countable_Set

https://ko.wikipedia.org/wiki/가산_집합
 '''가산집합'''은, 자연수잡합으로의 [[단사함수,injective_function]]가 존재하는 집합.
 가산집합이 아닌 집합은 [[비가산집합,uncountable_set]].
 가산집합은 유한집합일 수도 있고 무한집합일 수도 있는데, 가산이면서 무한이면 [[가부번집합,denumerable_set]]. WtEn:denumerable_set Ggl:denumerable_set 

----
wikiadmin

KmsE:"countable set"

----
[[가산성,countability]] [[집합,set]]
=,countability . countability {

via https://planetmath.org/sorgenfreyline
{
first countable
https://planetmath.org/firstcountable
second countable
https://planetmath.org/secondcountable
}

Ndict:가산성
Ggl:가산성
}

----
[[https://terms.naver.com/entry.naver?docId=1054744&cid=40942&categoryId=32206 두산백과: 가산집합 countable set]]
[[https://terms.naver.com/entry.naver?docId=3338047&cid=47324&categoryId=47324 수학백과: 가산집합]]

http://www.gabormelli.com/RKB/Countable_Set