theorem Th11: :: RSSPACE4:11

for X being non empty set
for Y being RealNormSpace
for g being bounded Function of X, the carrier of Y holds PreNorms g is bounded_above