Moreover, it is useful to observe that in this case the definition of rational formal power series can be simplified: a f.p.s. r∈ℚ⟨!⟨z⟩!⟩ is rational if and only if r is the quotient of two polynomials.