theorem Th10: :: TOPALG_5:10

for S, T being non empty TopSpace
for A, B being Subset of T
for f being Function of S,T st f is being_homeomorphism & A is_a_component_of B holds
f " A is_a_component_of f " B