theorem :: FLANG_2:47

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