SET_THEORY_MIM
short
long
eu
Class
eu
Class_by_extension
eu
Class_by_intension
eu
Complement
eu
Group
d
Identifier
eu
Intersection
d
Label
eu
Power_set
eu
Proper_subset
eu
Same_membership
eu
Subset
d
Text
eu
Union