Definition:Primitive Recursive/Relation
< Definition:Primitive Recursive(Redirected from Definition:Primitive Recursive Relation)
Jump to navigation
Jump to search
Definition
Let $\RR \subseteq \N^k$ be an $n$-ary relation on $\N^k$.
Then $\RR$ is a primitive recursive relation if and only if its characteristic function $\chi_\RR$ is a primitive recursive function.