for E being set holds (Lex E) * = E ^omega