theorem :: FLANG_1:71

for E being set
for A, B being Subset of (E ^omega) holds (A /\ B) * c= (A *) /\ (B *)