for Z being RealNormSpace
for A being non empty closed_interval Subset of REAL
for g being PartFunc of REAL, the carrier of Z st A c= dom g & g | A is bounded holds
||.g.|| | A is bounded