Universal Property of Polynomial Ring

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

The different definitions of a polynomial ring $(S, f, X)$ on $R$ satisfy the universal property of a polynomial ring:

Also see

 * Equivalence of Definitions of Polynomial Ring