Definition:Primitive Recursive/Set

From ProofWiki
Jump to navigation Jump to search

Definition

Let $A \subseteq \N$.


Then $A$ is a primitive recursive set if and only if its characteristic function $\chi_A$ is a primitive recursive function.