let n be Element of NAT ; :: thesis: for P, Q being Subset of (TOP-REAL n) holds
( not P is_a_component_of Q ` or P is_inside_component_of Q or P is_outside_component_of Q )
let P, Q be Subset of (TOP-REAL n); :: thesis: ( not P is_a_component_of Q ` or P is_inside_component_of Q or P is_outside_component_of Q )
( P is Bounded or not P is Bounded ) ;
hence ( not P is_a_component_of Q ` or P is_inside_component_of Q or P is_outside_component_of Q ) by JORDAN2C:def 2, JORDAN2C:def 3; :: thesis: verum