for A, X being set
for x being object st (chi (A,X)) . x = 1 holds
x in A