递归可枚举关系，外文名recursively enumerable rela-tion。是集概念的一种

递归可枚举关系(recursively enumerable rela-tion)简称re关系.r。集概念的一种推广.设P是n元数论关系，如果存在n+1元递归关系R，使得P(xxZ,...,x.,)HyRCyx,xZ〃..,,z.则称P为n元递归可枚举关系.与r。集类似地，P为n元re关系，当且仅当存在n元部分递归函数件，使P (xxZ...xn.-rx,xZ,...,x)十. re关系都是半可判定的，即对re关系P，只要P(xl,x2,...,x,)为真，总可在有限步内能行地判知因此，r。关系也称为半递归关系.