Relation SET-PARTITION

Axioms:

(Undefined (Arity Set-Partition))

(<=> (Set-Partition ?S @Sets)
     (And (= ?S (Union @Sets)) (Pairwise-Disjoint @Sets)))

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