theorem Th27: :: CSSPACE4:27

for X being non empty set
for Y being ComplexBanachSpace holds C_NormSpace_of_BoundedFunctions (X,Y) is ComplexBanachSpace