Wiktionary
inductive definition
n. (context semantics English) A recursive definition.
n. (context semantics English) A recursive definition.