theorem Th11: :: C0SP3:11

for S, T being RealNormSpace holds ContinuousFunctions (S,T) is linearly-closed