for GX being non empty TopSpace
for A being Subset of GX st ( for xa, ya being Point of GX st xa in A & ya in A & xa <> ya holds
ex h being Function of I[01],(GX | A) st
( h is continuous & xa = h . 0 & ya = h . 1 ) ) holds
A is connected