this_program `-(ADT.Set other)
Difference. The expression 'A - B', where A and B are sets, returns all elements in A that are not also present in B.