相對算術關係

相對算術關係是高等數學中的概念。

相對算術關係(relativized arithmetical rela -tion)算術關係概念的相對化.對自然數集A和關係R，若R可表示成(G2.za ) (R2.z'2 ) ''.. (G2.z' ) S (.z, ,a.z...,aaz,...am)的形式，其中621,z,...,為量詞d或」,S為相對A遞歸的關係，則稱R為相對於A的算術關係.若集合B是相對於A的(一元)算術關係，即B可表示成:.x : （ G2）, W（ 62zyz）二（Rny）＞S（y,y2,...,）yn,.＞其中62 622，一，Q，為量詞，S為相對於A遞歸的n+1元關係，則稱B為對於A的算術集，並記為B硯QA，亦稱B可算術化歸到A.由算術化歸關係可導出算術等價的概念.對合A,B，若A鎮aB，並且B鎮QA，則稱A,B算術等價，記為A=B。