Lemma 29.41.10. Suppose given a commutative diagram of schemes

Assume

$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.

## Comments (0)