for E being non empty set
for u, v, w being Element of E ^omega st w = u ^ v holds
( len u <= len w & len v <= len w )