Lines Matching +defs:SET +defs:UNION
23 (DEFTHM MEMBERP-SET-UNION
24 (EQUAL (MEMBERP A (SET-UNION X Y))
29 (DEFTHM MEMBERP-SET-INTERSECT
30 (EQUAL (MEMBERP A (SET-INTERSECT X Y))
37 (DEFTHM SET-EQUAL-IMPLIES-EQUAL-MEMBERP
38 (IMPLIES (SET-EQUAL X Y)
44 (EQUAL (MEMBERP A (SET-INTERSECT (LABEL-OF P M) VARS))
46 (SET-INTERSECT (LABEL-OF Q N) VARS)))))