The Stacks project

Proof. Fix a base scheme $S$. If $f : X' \to X$ is any $S$-morphism, then the graph $\Gamma _ f : X' \to X' \times _ S X$ is obtained as the base change of the diagonal $\Delta _{X/S} : X \to X \times _ S X$ via the projection $X' \times _ S X \to X \times _ S X$. If $g : X \to S$ is separated (resp. unramified) then the diagonal is a closed immersion (resp. open immersion) by Schemes, Definition 26.21.3 (resp. Morphisms, Lemma 29.35.13). Hence so is the graph as a base change (by Schemes, Lemma 26.18.2). In the special case $X' = S$, we obtain (1), resp. (2). Part (3) follows on combining (1) and (2). $\square$