Extracted from as of .
   

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


Method `<=

mixed `<=(object rel)

Description

The expression `rel1 <= rel2' returns true if every relation entry in rel1 is also present in rel2.