for X being set
for f being Function of X,X holds iter (f,0) = id X