Definition:Primitive Recursive/Relation

Definition
Let $\RR \subseteq \N^k$ be an $n$-ary relation on $\N^k$.

Then $\RR$ is a primitive recursive relation its characteristic function $\chi_\RR$ is a primitive recursive function.