theorem Th1: :: GOBRD11:1

for GX being non empty TopSpace
for A being Subset of GX
for p being Point of GX st p in A & A is connected holds
A c= Component_of p