for X, Y being set st Y c= X holds
chi (X,Y) = chi (Y,Y)