theorem Th80: :: FLANG_2:80

for E being set
for A being Subset of (E ^omega) holds
( A ? = A iff <%> E in A )