prc class
a class of total functions
is called a primitive recursively closed (PRC) class if
- the initial functions belong to
,
- a function obtained from functions belonging to
by either composition or recursion also belongs to
.