Primitive Recursive Function: A class of total functions built from basic initial functions using composition and primitive recursion, often serving as a theoretical foundation in computability.