:: deftheorem defines is_absolutely_bounded_by TIETZE:def 1 :
for f being real-valued Function
for r being Real
for X being set holds
( f,X is_absolutely_bounded_by r iff for x being set st x in X /\ (dom f) holds
|.(f . x).| <= r );