notin:
in:
inter:
union:
exists:
forall:
subset:(subset)
notsubset:(notsubset)
propersubset:
notpropersubset:
superset:(superset)
notsuperset:(notsuperset)
propersuperset:(propersuperset)
notpropersuperset:(notpropersuperset)
complement:(complement)
emptyset:(emptyset)