theorem :: FLANG_2:81

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