\begin{definition}[Definition:Recursive/Set]
Let $A \subseteq \N$.
Then $A$ is a '''recursive set''' {{iff}} its characteristic function $\chi_A$ is a recursive function.
Category:Definitions/Mathematical Logic
\end{definition}