Sentence SUBSET-AXIOM

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))))