for T1 being empty TopSpace
for T2 being TopSpace
for f being Function of T1,T2 holds f is continuous