 Iterated function

For a map $F:X\to X$, its iterates are defined by $F^0$ equal to the identity map and $F^{n+1}=F\circ F^n$.