for X being non empty TopSpace
for S being LinearTopSpace
for f being Function of X,S
for a being Real st f is continuous holds
a (#) f is continuous