Definition:Recursive/Relation

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

Then $\mathcal R$ is a recursive relation iff its characteristic function $\chi_\mathcal R$ is a recursive function.