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 }
cardinality or set_cardinality { http://www.gabormelli.com/RKB/Set_Cardinality }
CMP COMPLEMENT? 무한집합,infinite_set
empty_set { http://www.gabormelli.com/RKB/Empty_Set }
nonempty_set
degenerate_set { http://www.gabormelli.com/RKB/Degenerate_Set }
cardinality or set_cardinality { http://www.gabormelli.com/RKB/Set_Cardinality }