theorem Th14: :: JORDAN1K:14

for n being Nat
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 ) by JORDAN2C:def 2, JORDAN2C:def 3;