theorem Th67: :: RFUNCT_1:67

for X being set
for C being non empty set
for c being Element of C holds
( (chi (X,C)) . c <> 1 iff (chi (X,C)) . c = 0 ) by Th61;