for X being set
for n being Nat
for f being Function of X,X holds iter (f,n) is Function of X,X