theorem Th39: :: FUNCT_3:39

for A, X being set holds rng (chi (A,X)) c= {0,1}