相对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相对涕归性”).