theorem :: XBOOLE_1:48

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