for GX being non empty TopSpace st ( for x, y being Point of GX ex h being Function of I[01],GX st
( h is continuous & x = h . 0 & y = h . 1 ) ) holds
GX is connected