Function GENERALIZED-UNION

Arity: 2

Domain: Set

Range: Set

Axioms:

(=> (Generalized-Union ?Set-Of-Sets ?Set)
    (And (= ?Set
            (Setofall ?X
                      (Exists (?S)
                              (And (Member ?S ?Set-Of-Sets)
                                   (Member ?X ?S)))))
         (Forall (?S) (=> (Member ?S ?Set-Of-Sets) (Simple-Set ?S)))))

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