theorem :: RFUNCT_1:92

for Y being set
for C being non empty set
for f being PartFunc of C,REAL st f | Y is constant holds
( ( for r being Real holds (r (#) f) | Y is bounded ) & (- f) | Y is bounded & (abs f) | Y is bounded )