reserve m,n,i,i2,j for Nat,
  r,r1,r2,s,t for Real,
  x,y,z for object;
reserve p,p1,p2,p3,q,q1,q2,q3,q4 for Point of TOP-REAL n;

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