Matematiksel deyişle -ıncı terim kendinden önceki terimin bir fonksiyonu olarak verilmektedir. Bu tür dizilere indirgemeli (rekürsif) dizi, tanımlama bağıntısına da indirgeme bağıntısı denir. Biraz önce değindiğimiz gibi indirgeme bağıntıları bilgisayar kullanımında çok önemlidir.