#noindex
##====유한집합,finite_set =,finite_set 유한집합 finite_set
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 }

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

----
Twin:
http://en.wikipedia.org/wiki/Finite_set

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

----
Up:
[[유한성,finiteness]]
[[집합,set]]