theorem Th5: :: C0SP3:5

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