verify a relation between two sets
verify(expr1, expr2, set)
verify(expr1, expr2, set(ver))
anything, assumed to be of type set
verification for the set operands
The verify(expr1, expr2, set) and verify(expr1, expr2, set(ver)) calling sequences return true if for every operand x in the first set, expr1, it can be determined that there is an operand y in the second set, expr2, that satisfies the relationship verify(x, y, ver), and similarly for every y in expr2 there must be an x in expr1 satisfying verify(x, y, ver). If ver is not given, then equality is used for the relationship.
If true is returned, then it has been determined that each operand of each set satisfies the relationship with at least one element in the other set. If false is returned, then there is at least one operand in one of the sets that does not satisfy the relationship (a result of type verify(false)) with all the elements in the other set, and otherwise FAIL.
The verification set is symmetric. The verification set(ver) is symmetric if and only if the verification ver is symmetric.
If either expr1 or expr2 is not of type set, then false is returned.
Download Help Document