theorem :: XBOOLE_1:98

for X, Y being set holds X \/ Y = X \+\ (Y \ X)