for X, Y being set st X misses Y holds
for x being Element of X holds (chi (Y,X)) . x = 0