\begin{definition}[Definition:Primitive Recursive/Relation]
Let $\RR \subseteq \N^k$ be an $n$-ary relation on $\N^k$.
Then $\RR$ is a '''primitive recursive relation''' {{iff}} its characteristic function $\chi_\RR$ is a primitive recursive function.
Category:Definitions/Mathematical Logic
\end{definition}