μ-recursive function

one of several equivalent definitions of a computable function

primitive recursive function
1