Zwei Mengen können mit union vereinigt werden.

> (union (quote (a b c d)) (quote (b d e f))
(c a b d e f)


Die Funktion union verwendet if, null?, first, rest und adjoin:

(setq union
  (lambda (u v)
    (if
      (null? u)
      v
      (union (rest u) (adjoin (first u) v)))))