theorem Th7: :: CSSPACE4:7

for X being non empty set
for Y being ComplexNormSpace holds ComplexBoundedFunctions (X,Y) is linearly-closed