theorem Th83: :: XBOOLE_1:83

for X, Y being set holds
( X misses Y iff X \ Y = X )