Explore relationships

Inductive definition

In mathematics and computer science, a recursive definition, or inductive definition, is used to define the elements in a set in terms of other elements in the set (Aczel 1977:740ff).

Use + to expand a branch. Click a topic name to open its summary.