유한집합,finite_set

유한집합,finite_set (rev. 1.5)



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