for Y being set
for f being real-valued Function holds
( f | Y is bounded iff ex r being Real st
for c being object st c in Y /\ (dom f) holds
|.(f . c).| <= r )