theorem Th7: :: XBOOLE_1:7

for X, Y being set holds X c= X \/ Y by XBOOLE_0:def 3;