Set of Polynomials over Infinite Set has Same Cardinality

Theorem
Let $S$ be a set of infinite cardinality $\kappa$.

Let $S \sqbrk x$ be the set of polynomial forms over $S$ in the indeterminate $x$.

Then $S \sqbrk x$ has cardinality $\kappa$.

Proof
Since $S \sqbrk x$ contains a copy of $S$ as constant polynomials, we have an injection $S \to S \sqbrk x$.

We define an injection from $S \sqbrk x$ to the set $\FF$ of finite sequences over $S$ as follows:

Each polynomial in $f \in S \sqbrk x$ is of the form:
 * $f = a_0 + a_1 x + a_2 x^2 + \dotsb + a_n x^n$

where $a_n$ is non-zero and each $a_i$ is in $S$.

We send each polynomial $f$ to the sequence of its coefficients $\sequence {a_0, \dotsc, a_n}$.

By the definition of equality of polynomials, this is injective.

Now the set of finite sequences over $S$ is a countable union of sets of cardinality $\kappa$.

From Cardinality of Infinite Union of Infinite Sets, $\FF$ has cardinality $\kappa$.

Therefore there is a bijection $\FF \leftrightarrow S$.

Composing this with the injection $S \sqbrk x \to \FF$, we have an injection $S \sqbrk x \to S$.

So by the Cantor-Bernstein-Schröder Theorem there is a bijection $S \sqbrk x \leftrightarrow S$.

Hence, we have:
 * $\card {S \sqbrk x} = \card S = \kappa$