The forward map orbit of a point under a map
is the set
where denotes
-fold function composition
and
is the identity
map (Silverman 2010, pp. 2-3). The map orbit is finite iff
is a preperiodic point. A periodic
point returns to its initial value, while a preperiodic
point may have an initial segment before entering a periodic
orbit.