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

**Documentation:**The set of all of subsets of a bounded set is also a bounded set.

**Instance-Of:**Sentence**Defining-Axiom:**'(=> (Bounded ?V) (Bounded (Setofall ?U (Subset ?U ?V))))

**Source:**KIF Version 3.0 Specification