가산집합,countable_set

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

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


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

Excerpts

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

추가에참고