# Proper Morphism closed

Let $f:X \to Y$ be a proper morphism between schemes, therefore separated, of finite type, and universally closed.

My question is how to deduce that $f(X)$ is closed in $Y$?

By definition I can only expect the closeness of the induced morphism $X \times _Y Y' \xrightarrow{pr_{Y'}} Y'$ of base change by $Y \to Y'$.

• The base change of $f$ along $\mathrm{id}_Y:Y\to Y$ is just $f$. So $f$ is closed. – Keenan Kidwell Nov 29 '17 at 0:41
• @Keenan Kidwell: So do you mean that it follows by uniqueness of pullback? For $id_Y$ we would have obviously $X \cong X \times _Y Y$, so $X$ would be the pull back for $f$ and $id_Y$ and by pullback property $id_Y \circ pr_Y = f$? – KarlPeter Nov 29 '17 at 0:53
• We would be living in a sad world if "universally closed" would not imply "closed". – MooS Nov 29 '17 at 7:50