theorem Th46: :: FLANG_2:46

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