Universal Property of Polynomial Ring

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

The different definitions of a polynomial ring $\struct {\map R x, \iota, x}$ on $R$ satisfy the universal property of a polynomial ring:

Also see

 * Equivalence of Definitions of Polynomial Ring