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