theorem Th47: :: XBOOLE_1:47

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