for A being non empty closed_interval Subset of REAL
for v being Point of (R_Normed_Algebra_of_ContinuousFunctions (ClstoCmp A)) holds v in BoundedFunctions the carrier of (ClstoCmp A)