theorem :: XBOOLE_1:44

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