notin: in: inter: union: exists: forall: subset:⊆ notsubset:⊈ propersubset: notpropersubset: superset:⊇ notsuperset:⊉ propersuperset:⊃ notpropersuperset:⊅ complement:∁ emptyset:∅