theorem Th21: :: FLANG_3:21

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