for A being non empty closed_interval Subset of REAL
for rho being Function of A,REAL
for u being continuous PartFunc of REAL,REAL st rho is bounded_variation & dom u = A holds
u is_RiemannStieltjes_integrable_with rho