for G being TopSpace
for A, B, C being Subset of G st A is a_component & B is a_component & C is connected & A meets C & B meets C holds
A = B