theorem :: XBOOLE_1:43

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