集合論中的並集 (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