for E being set
for x being object st <%x%> is Element of E ^omega holds
x in E