Definition:Primitive Recursive/Set
< Definition:Primitive Recursive(Redirected from Definition:Primitive Recursive Set)
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.