פונקציה פרימיטיבית רקורסיבית – הבדלי גרסאות

*<math>\ s_n^i(x_1, ... , x_{i-1}, x_i, x_{i+1}, ... , x_n) = x_i</math> - פונקציית ההטלה לרכיב ה-i.<br />

ובנוסף סגורה לפעולות של [[הרכבה של פונקציות]], ורקורסיה פרימיטיבית. כלומר, זוהי מחלקת הפונקציות שמכילה בדיוק את הפונקציות התחיליות, ואת כל הפונקציות המתקבלות משרשור והרכבה חוזרת ונשנית שלהן מספר סופי של פעמים. כל פונקציה השייכת למחלקה זו נקראת '''פונקציה פרימיטיבית רקורסיבית'''.