theorem Th50: :: FLANG_3:50

for E being set
for A being Subset of (E ^omega) holds A + = A |^.. 1