for n being Nat
for A, B being Subset of (TOP-REAL n) st B is_outside_component_of A holds
B c= A ` by SPRECT_1:5;