theorem Th11: :: CONNSP_2:11

for X being non empty TopSpace
for A, B being Subset of X st A is a_component & A c= B holds
A is_a_component_of B