for A, B, X being set st A c= X & B c= X & chi (A,X) = chi (B,X) holds
A = B