Consider Formal Power Series over a Ring for : Suppose as . Then we define where Formal Infinite Sums do converge by assumption.