הפונקציות החסומות
תהי d פונקציה:
הסכום החסום של הפונקציה d מוגדר כפונקציה:
כך שלכל: j ε N מתקיים:
כלל: אם d היא פונקציה פרימיטיבית רקורסיבית (פר"פ) אזי גם פונקצית הסכום החסום
שלה – f היא פר"פ.
תהי d פונקציה:
המכפלה החסומה של הפונקציה d מוגדרת כפונקציה:
כך שלכל:
מתקיים:
כלל: אם d היא פונקציה פרימיטיבית רקורסיבית (פר"פ) אזי גם פונקצית המכפלה החסומה
שלה – f היא פר"פ.