for A being non empty set
for x being Element of (R_Normed_Algebra_of_BoundedFunctions A) holds x is Function of A,REAL