theorem :: FLANG_2:14

for E being set
for A, B, C being Subset of (E ^omega)
for k, l being Nat st A c= C |^ k & B c= C |^ l holds
A ^^ B c= C |^ (k + l)