Method ADT.Relation.Binary()->`-()

Method `-

ADT.Relation.Binary(< LeftType, RightType >) res = ADT.Relation.Binary() - rel

Description

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.