Definition:Recurrence of Basis Expansion