theorem Th86: :: XBOOLE_1:86

for X, Y, Z being set st X c= Y & X misses Z holds
X c= Y \ Z