inter
eq
leftlit
sup
sub
union
diff