Set_theory_arm
short
long
e
Complement
e
Intersection
e
Power_set
e
Proper_subset
e
Same_membership
e
Subset
e
Union