disjoint sets

<logic> Two sets are disjoint iff they share no members, i.e. iff their intersection is the null set.

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google