theorem Th73: :: CFUNCT_1:74

for Y being set
for C being non empty set
for f being PartFunc of C,COMPLEX st f | Y is bounded holds
( |.f.| | Y is bounded & (- f) | Y is bounded )