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 Th13:
  for A being Subset of TOP-REAL n, B being Subset of TOP-REAL n
  st B is_inside_component_of A holds B c= BDD A
proof
  let A be Subset of TOP-REAL n, B be Subset of TOP-REAL n;
  assume B is_inside_component_of A;
  then
A1: B in {B2 where B2 is Subset of TOP-REAL n: B2 is_inside_component_of A};
  let x be object;
  assume x in B;
  hence thesis by A1,TARSKI:def 4;
end;
