for E being set holds ==>.-relation (id (E ^omega)) = id (E ^omega)