for Z being RealNormSpace
for X being set
for f being PartFunc of REAL, the carrier of Z st f | X is bounded holds
(- f) | X is bounded