theorem Th13: :: JORDAN2C:22

for n being Nat
for A, B being Subset of (TOP-REAL n) st B is_inside_component_of A holds
B c= BDD A