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 .