theorem Th79: :: XBOOLE_1:79

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