for X, Y, Z being set st Z c= X holds
X \/ (Y \ Z) = X \/ Y