theorem Th78: :: FLANG_2:78

for E, x being set
for A being Subset of (E ^omega) holds
( x in A ? iff ( x = <%> E or x in A ) )