verify a relation between two sets - Maple Help

Online Help

All Products    Maple    MapleSim

Home : Support : Online Help : Programming : Logic : Boolean : verify : verify/set

verify/set - verify a relation between two sets

Calling Sequence

verify(expr1, expr2, set)

verify(expr1, expr2, set(ver))


expr1, expr2


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.














See Also

set, verify, verify/as_set, verify/list, verify/subset, verify/superset

Download Help Document

Was this information helpful?

Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam