theorem Th8: :: HILBERT3:9

for X being set
for A being Subset of X holds ((0,1) --> (1,0)) * (chi ((A `),X)) = chi (A,X)