for E being set
for w being Element of E ^omega holds Lang (w,(id (E ^omega))) = {w}