mixed `-(mixed rel)
The expression `rel1 - rel2' returns a new relation which has those and only those relation entries that are present in rel1 and not present in rel2.
ADT.Relation.Binary()->`+()