Class EMPTY

True of the empty set.

Axioms:

(<=> (Empty ?X) (= ?X (Setof)))

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