Iterated function

Set

context $ f:X\to X $
context $ n\in \mathbb N, n\neq 0 $
definiendum $ f^n $

Iteratively defined as follows:

definiendum $ f^1:=f $
definiendum $ f^{n}:=f\circ f^{n-1} $

Discussion

Parents

Subset of

Unary operation

Context

Relation concatenation, Natural number