theorem Th21: :: TIETZE:21

for T being non empty TopSpace
for f being Function of T,R^1
for r being positive Real holds
( f, the carrier of T is_absolutely_bounded_by r iff f is Function of T,(Closed-Interval-TSpace ((- r),r)) )