theorem :: FLANG_3:67

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 +