theorem Th16: :: MESFUN12:16

for X being set
for A1, A2 being Subset of X
for er being ExtReal
for x being object st A1 misses A2 holds
((chi (er,A1,X)) | A2) . x = 0