for X being non empty set
for S being SigmaField of X
for M being sigma_Measure of S
for A being Element of S
for r being Real st r >= 0 holds
Integral (M,(r (#) (chi (A,X)))) = r * (M . A)