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