超限遞歸是一種構造或定義某種對象的方法,它與超限歸納的概念密切相關。例如,可以定義以序數為下標的集合序列 Aα ,只要指定三個事項:
是什麼
- 如何確定
自
(又或者是從
到
的部分)
- 對於極限序數
,如何確定
自
的對於
的序列。
更形式的說,我們陳述超限遞歸定理如下。給定函數類
,
,
,存在一個唯一的超限序列
帶有
(
是所有序數的真類),使得

,對於所有 
,對於所有極限序數
。這裡的
是指
在
上的限制。
注意我們要求
,
,
的定義域足夠廣闊來使上述性質有意義。所以滿足這些性質的序列的唯一性可以使用超限歸納證明。
更一般的說,你可以在任何良基關係
上通過超限遞歸定義對象。(
甚至不需要是集合;它可以是真類,只要它是類似集合的關係便可,也就是說:對於任何
,使得
的所有
的搜集必定是集合。)