Recursive definition

A recursive definition (or inductive definition) in mathematical logic and computer science is used to define the elements in a set in terms of other elements in the set.

Description

A recursive definition of a function defines values of the functions for some inputs in terms of the values of the same function for other inputs.

See also

• Computer science
• Mathematical induction
• Mathematical logic
• Mathematics
• Recursion
• Recursive data type
• Set theory

External links

• Recursive definition @ Wikipedia