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)))