theorem Th109: :: XBOOLE_1:109

for A, X, Y being set st X c= A holds
X \ Y c= A