theorem :: XBOOLE_1:82

for X, Y being set holds X \ Y misses Y \ X