noun A formal power series with one indeterminate, whose coefficients encode a sequence that can be studied by algebraic manipulation of the series; any one of several generalizations, such as to encode more than one sequence or use more than one indeterminate.