Definition:Recursive/Relation

From ProofWiki
Jump to navigation Jump to search

Definition

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


Then $\RR$ is a recursive relation if and only if its characteristic function $\chi_\RR$ is a recursive function.


Sources