theorem :: CONNSP_3:10

for GX being non empty TopSpace
for A, V being Subset of GX st A is a_component & V is connected & V c= A & V <> {} holds
A = Component_of V