theorem Th13: :: CONNSP_3:13

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