Universal Property of Polynomial Ring

Theorem
Let $R$ be a commutative ring with unity.

The different definitions of a polynomial ring $(R(x), \iota, x)$ on $R$ satisfy the universal property of a polynomial ring:

Also see

 * Equivalence of Definitions of Polynomial Ring