Class FINITE-SET

Slots on this class:

Documentation:
A set that has only finite elements
Instance-Of: Class
Subclass-Of: Set

Equivalence Axioms:

(<=> (Finite-Set ?F-Set)
     (And (Set ?F-Set)
          (Exists (@Elements) (= ?F-Set (Setof @Elements)))))

Axioms:

(Exists (@Elements) (= ?F-Set (Setof @Elements)))

(Set ?F-Set)

Other Related Axioms:

(<=> (Finite-Set ?F-Set)
     (And (Set ?F-Set)
          (Exists (@Elements) (= ?F-Set (Setof @Elements)))))

Notes: