for S being non empty TopSpace
for T being LinearTopSpace holds ContinuousFunctions (S,T) is linearly-closed