ThmDex – An index of mathematical definitions, results, and conjectures.
P3156
Due to result R4628: Map to empty set is a surjection, we may assume that $Z$ is nonempty. Fix $z \in Z$. Since $g$ is a surjection, there exists $y \in Y$ such that $g(y) = z$. And since $f$ is a surjection, there exists $x \in X$ such that $f(x) = y$. Hence, $z = g(y) = g(f(x)) = h(x)$, which shows that $h$ is a surjection. $\square$