for X being set
for C being non empty set
for c being Element of C holds
( c in C \ X iff (chi (X,C)) . c = 0 )