theorem :: XBOOLE_1:80

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