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