Definition:Recurrence Relation