**Defined in theory: Kif-sets****Source code: kif-sets.lisp**

**Documentation:**Sets are mutually-disjoint if and only if there is no object that is a member of all of the sets.

(Undefined (Arity Mutually-Disjoint)) (<=> (Mutually-Disjoint @Sets) (Empty (Intersection @Sets)))

**Source:**KIF Version 3.0 Specification