有窮集陣列(array of finite sets)是遞歸論的基本概念之一，有窮集合的任何序列都稱為有窮集的陣列。
特別地，設{F.,}nF。為一個有窮集序列，則
1.若存在遞歸函式f，使tJn E }CF =Wfcn, )，則稱{F.,}nE。為一個弱陣列.其中Wv以。為re下標.
2.若存在遞歸函式f，使do E }CF =Df<n> )，則稱{Fn ).,E。為一個強陣列.其中Dr以。為典則下標.
3.若對任何min，都有F,自F,n =必，則稱}F.,}nE。為不相交陣列.
強陣列都是弱陣列，但反之不然.
2.若存在遞歸函式f，使do E }CF =Df<n> )，則稱{Fn ).,E。為一個強陣列.其中Dr以。為典則下標.
3.若對任何min，都有F,自F,n =必，則稱}F.,}nE。為不相交陣列.
強陣列都是弱陣列，但反之不然.
