Iteration of a partial function

ID: iteration-of-a-partial-function

For a partial function with , its th iterated function is defined only when each intermediate application is defined. Put , , and use the displayed recursion for the domain of a function. Simplifying an algebraic expression for does not restore points excluded by an intermediate application. For example, has on ; the simplified expression has a larger natural domain of a function.

New to topics? Read the docs here!