集合论中的并集 (union)、交集 (intersection)以及补集 (complement)的实现,是由函数 union 、 intersection 以及 set-difference 。还有判断数组蕴涵subsetppython
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