theorem :: XBOOLE_1:96

for X, Y being set holds X \ Y c= X \+\ Y by Th7;