theorem Th44: :: FLANG_3:44

for E being set
for A, B being Subset of (E ^omega)
for k being Nat holds (A /\ B) |^.. k c= (A |^.. k) /\ (B |^.. k)