Definition:Formal Power Series