theorem Th52: :: XBOOLE_1:52

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