theorem Th33: :: XBOOLE_1:33

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