theorem Th8: :: XBOOLE_1:8

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