theorem Th34: :: XBOOLE_1:34

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