theorem Th88: :: XBOOLE_1:88

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