The free associative algebra over a commutative ring $R$ generated by a set $X$ of indeterminates (possibly infinite): the set of finite $R$-linear combinations of words in the elements of $X$.