for x, A, X being set st x in X \ A holds
(chi (A,X)) . x = 0