theorem Th15: :: CONNSP_2:15

for X being non empty TopSpace st X is locally_connected holds
for S being Subset of X st S is a_component holds
S is open