集合论中的并集 (union)、交集 (intersection)以及补集 (complement)的实现，是由函数 union 、 intersection 以及 set-difference 。还有判断数组蕴涵subsetp
CL-USER> (setf list1 '(a b c))
(A B C)
CL-USER> (setf list2 '(c b s))
(C B S)
CL-USER> (intersection list1 list2)
(C B)
CL-USER> (union list1 list2)
(A C B S)
CL-USER> (set-difference list1 list2)
(A)
CL-USER> (adjoin 'z '(a b c d))
(Z A B C D)
CL-USER> (subsetp '(a i) '(a e i o u))
T
CL-USER> (subsetp '(a x) '(a e i o u))
NIL
