#noindex
##====유한집합,finite_set =,finite_set 유한집합 finite_set
CMP COMPLEMENT? [[무한집합,infinite_set]]

Sub:
[[알파벳,alphabet]] - [[심벌,symbol]]의 '''유한집합'''으로 정의됨.