theorem Th27: :: CONNSP_3:27

for GX being non empty TopSpace
for B being Subset of GX
for p being Point of GX st p in B holds
Component_of (p,B) = Component_of (Down (p,B))