theorem :: FOMODEL0:24

for A, B being set holds
( (chi (A,B)) " {0} = B \ A & (chi (A,B)) " {1} = A /\ B )