theorem Th79: :: FLANG_2:79

for E being set
for A being Subset of (E ^omega) holds A ? = A |^ (0,1)