定义.自然数的子集 "S" 被称为递归的，如果存在一个全可计算函数使得换句话说，集合 "S" 是递归的，当且仅当指示函数 formula_3 是可计算的。
性质.如果formula_4是递归集合，则formula_4的补集是递归集合。如果formula_4和formula_7是递归集合，则formula_8、formula_9和formula_10 是递归集合。集合formula_4是递归集合，当且仅当formula_4和formula_4的补集是递归可枚举集合。一个递