Suatu definisi rekursif (kadang-kadang disebut definisi induktif) untuk barisan \((a_n)_{n\in\N}\) terdiri atas sebuah relasi rekurensi : persamaan yang mengaitkan suatu suku barisan dengan suku-suku sebelumnya (suku dengan indeks lebih kecil), serta suatu syarat awal: daftar beberapa suku barisan (banyaknya satu lebih sedikit daripada banyak suku yang muncul dalam relasi rekurensi).