Example 3

Let $L'$ be the universal unital associative algebra generated by $I$ and subject to the identities $uv - vu = 0$ for every family of two elements of $L'$. It is seen, as in Example 2, that $L'$ is canonically isomorphic to $\mathrm{Libasc}_A(I)$.