Composite of Surjections is Surjection

Theorem
A composite of surjections is a surjection.

That is:
 * If $f$ and $g$ are surjections, then so is $f \circ g$.

Proof
Let $f: S_1 \to S_2$ and $g: S_2 \to S_3$ be surjections. Then:

By definition of a composite mapping, $f \circ g \left({x}\right) = f \left({g \left({x}\right)}\right) = f \left({y}\right) = z$.

Hence $f \circ g$ is surjective.