theorem Th6: :: RSSPACE4:6

for X being non empty set
for Y being RealNormSpace holds BoundedFunctions (X,Y) is linearly-closed