for Y being set
for f being real-valued Function st f | Y is bounded holds
( (abs f) | Y is bounded & (- f) | Y is bounded )