theorem :: XBOOLE_1:11

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