Sentence FINITE-SET-AXIOM

Any finite set of bounded sets is itself a bounded set.

Instance-Of: Sentence

Defining-Axiom:

'(=> (Finite-Set ?S) (Bounded ?S))

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