checking set intersection Alex Shinn (20 Dec 2013 00:25 UTC)
Re: checking set intersection Kevin Wortman (21 Dec 2013 04:45 UTC)
Re: checking set intersection John Cowan (25 Dec 2013 03:21 UTC)
Re: checking set intersection John Cowan (25 Dec 2013 03:20 UTC)

Re: checking set intersection John Cowan 25 Dec 2013 03:21 UTC

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