reserve X for set,
  Y for non empty set;
reserve n for Nat;
reserve r for Real,
  M for non empty MetrSpace;

theorem Th14:
  for P,Q being Subset of TOP-REAL n st P is_a_component_of Q`
  holds P is_inside_component_of Q or P is_outside_component_of Q
by JORDAN2C:def 2,def 3;
