for A being non empty closed_interval Subset of REAL
for rho being Function of A,REAL
for f being Point of (DualSp (R_Normed_Algebra_of_ContinuousFunctions (ClstoCmp A))) st rho is bounded_variation & ( for u being continuous PartFunc of REAL,REAL st dom u = A holds
f . u = integral (u,rho) ) holds
||.f.|| <= total_vd rho