theorem Th46: :: FLANG_1:46

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