Set_theory_arm
short long

eu	Class
eu	Class_by_extension
eu	Class_by_intension
e	Complement
e	Intersection
e	Power_set
e	Proper_subset
e	Same_membership
e	Subset
e	Union