Function COMPLEMENT

Arity: 2

Domain: Set

Range: Set

Axioms:

(=> (Complement ?S ?Set) (= ?Set (Setofall ?X (Not (Member ?X ?S)))))

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