Library
▹
Essentials
▹
Functions
Definition 1.5.34.
Let
X
be a set,
f
:
X
→
X
be a
function
,
n
∈
ℕ
. We define
f
n
by:
f
0
:
=
id
X
f
x
+
1
:
=
f
∘
f
x
(
x
∈
ℕ
)
References.
https://en.wikipedia.org/wiki/Iterated_function
https://mathworld.wolfram.com/IteratedMap.html