theorem Th17: :: FLANG_1:17

for E being set
for A, B, C, D being Subset of (E ^omega) st A c= C & B c= D holds
A ^^ B c= C ^^ D