theorem :: FLANG_3:94

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