theorem Th15: :: MESFUN12:15

for X being non empty set
for S being SigmaField of X
for M being sigma_Measure of S
for A, B, C being Element of S
for er being ExtReal st C c= B holds
(chi (er,A,X)) | B is C -measurable