Function INTERSECTION

Range: Set

Axioms:

(Undefined (Arity Intersection))

(= (Intersection @Sets)
   (Setofall ?X
             (Exists (?S)
                     (=> (Item ?S (Listof @Sets)) (Member ?X ?S)))))

(=> (= (Intersection @Sets) ?Set)
    (=> (Item ?S (Listof @Sets)) (Set ?S)))

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