theorem Th106: :: XBOOLE_1:106

for A, B, X being set st X c= A \ B holds
( X c= A & X misses B )