Lemma 29.41.10. Suppose given a commutative diagram of schemes
$X \to S$ is a universally closed (for example proper) morphism, and
$Y \to S$ is separated and locally of finite type.
Then the scheme theoretic image $Z \subset Y$ of $h$ is proper over $S$ and $X \to Z$ is surjective.