theorem Th76: :: FLANG_2:76

for E being set
for A being Subset of (E ^omega) holds A ? = {(<%> E)} \/ A