theorem :: JORDAN2C:119

for n being Nat st 2 <= n holds
for A, B, P being Subset of (TOP-REAL n) st P is bounded & A is_outside_component_of P & B is_outside_component_of P holds
A = B