for TS being TopSpace
for SS being non empty TopSpace
for f being Function of TS,SS st TS is compact & SS is T_2 & rng f = [#] SS & f is one-to-one & f is continuous holds
f is being_homeomorphism