Difference between r1.4 and the current
@@ -2,14 +2,18 @@
##====유한집합,finite_set =,finite_set 유한집합 finite_set
MKL
CMP COMPLEMENT? [[무한집합,infinite_set]]
[[empty_set]] { http://www.gabormelli.com/RKB/Empty_Set }
[[nonempty_set]]
[[degenerate_set]] { http://www.gabormelli.com/RKB/Degenerate_Set }
----
Sub:
[[알파벳,alphabet]] - [[심벌,symbol]]의 '''유한집합'''으로 정의됨.
----
Twin:
MKL
CMP COMPLEMENT? [[무한집합,infinite_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:
[[알파벳,alphabet]] - [[심벌,symbol]]의 '''유한집합'''으로 정의됨.
[[empty_set]] { http://www.gabormelli.com/RKB/Empty_Set } 0은 유한한 개수이므로 공집합은 유한집합에 포함.
----
Twin:
MKL
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 http://www.gabormelli.com/RKB/Set_Cardinality_Function is redir. }
가산집합,countable_set은 유한집합이거나 가부번집합,denumerable_set인 집합.
비가산집합,uncountable_set
가부번집합,denumerable_set
집합론,set_theory
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 http://www.gabormelli.com/RKB/Set_Cardinality_Function is redir. }
가산집합,countable_set은 유한집합이거나 가부번집합,denumerable_set인 집합.
비가산집합,uncountable_set
가부번집합,denumerable_set
집합론,set_theory
Sub:
알파벳,alphabet - 심벌,symbol의 유한집합으로 정의됨.
empty_set { http://www.gabormelli.com/RKB/Empty_Set } 0은 유한한 개수이므로 공집합은 유한집합에 포함.
알파벳,alphabet - 심벌,symbol의 유한집합으로 정의됨.
empty_set { http://www.gabormelli.com/RKB/Empty_Set } 0은 유한한 개수이므로 공집합은 유한집합에 포함.