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