for X, Y, Z being set st ( for x being object holds
( not x in X iff ( x in Y iff x in Z ) ) ) holds
X = Y \+\ Z