adjoin intersection nintersection nset-difference nset-exclusive-or nunion set-difference set-exclusive-or subsetp union