theorem Th38: :: MESFUN18:38

for X being set
for S being RealNormSpace
for f being PartFunc of S,RNS_Real
for g being PartFunc of X,REAL st f = g holds
||.f.|| = |.g.|