 A formal power series ring formula_139 consists of formal power series

together with multiplication and addition that mimic those for convergent series.It contains formula_110 as a subring.A formal power series ring does not have the universal property of a polynomial ring; a series may not converge after a substitution.