Formal Infinite Sum

Let

be an infinite family of Formal Power Series in . Suppose for any , we have a Series in a Ring:

i.e. column elements above are all eventually . Then we define

where is just a shorthand notation.

Remark

In particular, setting

we find:

so we are now justified in saying