mixed `+(mixed rel) mixed `|(mixed rel)
The expression `rel1 | rel2' and `rel1 + rel2' returns a new relation which has all the relation entries present in rel1, or rel2, or both.
ADT.Relation.Binary()->`<=()