Der Aufruf (disjoint? s1 s2) ergibt genau dann einen Wert ungleich nil, wenn s1 und s2 keine gemeinsamen Elemente haben.

Das Prädikat disjoint? basiert auf not, member-if? und member?:

(setq disjoint?
   (lambda (set-1 set-2)
     (not
       (member-if?
         (lambda (element) (member? element set-2))
         set-1))))