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 holds
( ( M . A <> 0 implies Integral (M,(Xchi (A,X))) = +infty ) & ( M . A = 0 implies Integral (M,(Xchi (A,X))) = 0 ) )