유한집합,finite_set in RRWiki

Difference between r1.5 and the current

@@ -4,7 +4,11 @@

CMP COMPLEMENT? [[무한집합,infinite_set]]
[[nonempty_set]]
[[degenerate_set]] { http://www.gabormelli.com/RKB/Degenerate_Set }

cardinality or set_cardinality { http://www.gabormelli.com/RKB/Set_Cardinality }

cardinality or set_cardinality { http://www.gabormelli.com/RKB/Set_Cardinality http://www.gabormelli.com/RKB/Set_Cardinality_Function is redir. }

[[가산집합,countable_set]]은 '''유한집합'''이거나 [[가부번집합,denumerable_set]]인 집합.

[[비가산집합,uncountable_set]]

[[가부번집합,denumerable_set]]

[[집합론,set_theory]]

----
Sub:

Sub:
알파벳,alphabet - 심벌,symbol의 유한집합으로 정의됨.
empty_set { http://www.gabormelli.com/RKB/Empty_Set } 0은 유한한 개수이므로 공집합은 유한집합에 포함.