for X being non empty set
for S being SigmaField of X
for A, B being Element of S
for er being ExtReal holds chi (er,A,X) is B -measurable