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