theorem :: MESFUNC2:28

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