prc class

a class of total functions is called a primitive recursively closed (PRC) class if

1. the initial functions belong to ,
2. a function obtained from functions belonging to by either composition or recursion also belongs to .