\begin{definition}[Definition:Ring of Sequences/Commutativity]
Let $\struct {R, +, \circ}$ be a commutative ring.
Let $\struct {R^\N, +', \circ'}$ be the ring of sequences over $R$.
From Structure Induced by Commutative Ring Operations is Commutative Ring, the ring of sequences over $R$ is a commutative ring.
\end{definition}