有窮集下標(index for a finite set)遞歸論的基本概念之一指有窮集的編碼.有窮集作為遞歸集,自然可以有它的re下標和特徵下標(參見“遞歸集下標”).但互補下標用來刻畫有窮集則不大合適,因為有窮集之補並不是有窮集.不過,有窮集還可有另一種重要的下標,即典則下標.設有窮集A= {xo, } , xn }。令e=2'9+2}1+…十2=n,則稱e為A的典則下標.並記A為De.例如D一{0,2,3,6}.美國數學家羅傑斯(Rogers , H.)證明了:由有窮集A之典則下標可以能行地找到其特徵下標,由特徵下標又可能行地找到其re下標.但它們之逆均不成立.由此可見,有窮集的典則下標反映其集合的信息最多,特徵下標次之,而r。下標最小.