re集标准形是集的一种表示方法.[1] r.集标准形(normal form of re sets ) r..若A为一个r.集,则存在递归关系R,使得A= {x旧yR(x,y)}. re集A的这种表示方式称为其标准形式乏,形.由此可以推出,A为re集,当且仅当A为某个部分递归函数的值域(即}e(A=rang (ape,也当且仅当A为某部分递归函数之定义域(即玉(A=dom (} .当A=dom (app)时,A记为We,即We=dom (rpP),并称'为We的下标.因此,{We }PE.是全体:.集的一种能行枚举.此外W}, = dom ( ape.,)也是一个常用的记号.We,:实际上是一个递归集,而且,{WP..}}为:.集WP的一个递归逼近序列.