theorem Th77: :: JORDAN2C:93

for D being non empty compact non horizontal non vertical Subset of (TOP-REAL 2)
for B being Subset of (TOP-REAL 2) st B is_a_component_of (L~ (SpStSeq D)) ` & not B is bounded holds
B = LeftComp (SpStSeq D)