A formal power series is an infinite sequence of numbers, which can be manipulated as the coefficients of a power series (a polynomial with an infinite number of terms) without regard to convergence.
. . . . . .
Wikipedia: Formal Power Series
The webmaster and author of this Math Help site is Graeme McRae.