Surjection if Composite is Surjection

Theorem
Let $f: S_1 \to S_2$ and $g: S_2 \to S_3$ be mappings such that $g \circ f$ is a surjection.

Then $g$ is a surjection.

Proof
Let $g \circ f$ be surjective.

Fix $z \in S_3$.

Now find an $x \in S_1: g \circ f \left({x}\right) = z$.

The surjectivity of $g \circ f$ guarantees this can be done.

Let $y = f \left({x}\right)$ (so $y \in S_2$).

It follows that:

Also see

 * Injection if Composite is an Injection