Definition:Primitive Recursive Function