theorem Th7: :: HILBERT3:8

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