算术关系概念的相对化。对自然数集A和关系R，若R可表示成(Q1x1)(Q2x2)…(Qnxn)S(x1，x2，…，xn，a1，a2，…，am)的形式，其中Q1，Q2，…，Qn为量词ᗄ或∃，S为相对A递归的关系，则称R为相对于A的算术关系。若集合B是相对于A的(一元)算术关系，即B可表示成：{x：(Q1y1)(Q2y2)…(Qnyn)S(y1，y2，…，yn，x)}其中Q1，Q2，…，Qn为量词，S为相对于A递归的n 1元关系，则称B为相对于A的算术集，并记为B≤aA，亦称B可算术化归到A。由算术化归关系可导出算术等价的概念。对集合A，B，若A≤aB，并且B≤aA，则称A，B算术等价，记为A≡aB。2100433B
