theorem :: XBOOLE_1:9

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