The notion of definition by recursion, and in particular of definition by primitive recursion, is explained in the article recursion, definition by. An n-adic function f (from non-negative integers to non-negative integers) is said to be defined by composition in terms of the m-adic function g and the n-adic functions h1, h&...