for Z being RealNormSpace
for A being non empty closed_interval Subset of REAL
for f being Function of A, the carrier of Z holds
( f is bounded iff ||.f.|| is bounded )