回溯集(retraceable set)是一种回归集。德克尔(Dekker,J.)和迈希尔(Myhill,J.)证明了:若A为递归集,则A为回溯集。反之,若A为回溯集,则A必为递归或禁集。另外,曼斯费尔德(Mansfield,R.)证明了:若A,A-都是回溯集,则A一定是递归集。