Der Aufruf (subset? s t) wertet dann zu einem Wert ungleich nil aus, wenn s eine Teilmenge von t ist.

Das Prädikat subset? ist anhand von cond, null?, member?, first und rest definiert:

(setq subset?
  (lambda (small large)
    (cond
      ((null? small) t)
      ((member? (first small) large)
       (subset? (rest small) large)))))