A formal power series, sometimes simply called a "formal series" (Wilf 1994), of a field is an infinite sequence
over
. Equivalently, it is a function from the set of nonnegative
integers to
,
.
A formal power series is often written
but with the understanding that no value is assigned to the symbol .