theorem :: JORDAN2C:12

for n being Nat
for A, B being Subset of (TOP-REAL n) st B is bounded & A c= B holds
A is bounded by RLTOPSP1:42;