יחסים
תהי R יחס. נאמר כי R היא פר"פ אם הפונקציה המאפיינת שלה היא פר"פ.
טענה:
|
|
יחסים פרימיטיביים רקורסיביים אזי גם:
|
|
טענה:
 |
יחסים רקורסיביים פרימיטיביים כך ש:
|
|
תהי:
 |
פונקציה פרימיטיבית רקורסיבית, אזי גם הפונקציה:
 |
המוגדרת כך:
 |
היא גם כן פונקציה פרימיטיבית רקורסיבית.
גולשים מקוונים: 2