Kevin Wortman scripsit:

> We already have predicates for set equality, subsets, proper subsets,
> and are now discussing intersection. We might as well add a
> set-disjoint? predicate too so that all the fundamental set
> relationships are represented.

This is just the negation of `set-intersects?`.

--
John Cowan <xxxxxx@ccil.org>             http://www.ccil.org/~cowan
The internet is a web of tiny tyrannies giving an illusion of anarchy.
                --David Rush