theorem :: FLANG_2:86

for E being set
for A being Subset of (E ^omega) holds A ? c= A *