{inductive definition} [ریاضی] تعریف یک دنباله با مشخص کردن جملۀ اول آن و رابطه ای بازگشتی که با آن هر جملۀ دنباله از جمله یا جمله های قبل از آن به دست می آید
