for n being Nat
for A being Subset of (Euclid n)
for B being non empty Subset of (Euclid n)
for C being Subset of ((Euclid n) | B) st A = C & C is bounded holds
A is bounded