2.3. The Principle of Induction

Definition 2.3.7: Recursive Definition

Let S be a set. If we define a function h from N to S as follows:
  1. h(1) is a uniquely defined element of S
  2. h(n) is defined via a formula that involves at most terms h(j) for 0 < j < n
Then this construction determines a unique function h from N to S.
Next | Previous | Glossary | Map