相對a遞歸性(relative a-recursiveness ) a遞歸性的推廣.設A,Bca. B稱為相對A是a遞歸，是指存在a-r。集We，使得對一切Y:
直觀上說，B相對A a遞歸，是指對任何一個a有窮集，可以通過A“能行”地判定它是否包含在B中，或者包含在a-B中.從形式上看，“弱相對a遞歸”似乎更為合理.但不幸的是，對很多可允許序數，“弱相對a遞歸關係”甚至不是可傳的.因此在a遞歸論中，一般都使用這裡的概念作為相對能行性的定義.當然，在。遞歸論中，這兩個定義是一致的.在一般a遞歸論中，它比“弱相對a遞歸性”要強(參見“弱a相對涕歸性”).
