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 both rel1 and rel2.