The Stacks project

Proof. Since $X'_2 \to X$ is separated, the graph $i : X'_1 \to X'_1 \times _ X X'_2$ of a morphism $X'_1 \to X'_2$ over $X$ is a closed immersion, see Morphisms of Spaces, Lemma 67.4.6. Moreover a closed immersion $i : T \to X'_1 \times _ X X'_2$ is the graph of a morphism if and only if $\text{pr}_1 \circ i$ is an isomorphism. The same is true for

1. the graph of a morphism $U \times _ X X'_1 \to U \times _ X X'_2$ over $U$,

2. the graph of a morphism $V \times _ X X'_1 \to V \times _ X X'_2$ over $V$, and

3. the graph of a morphism $Y \times _ X X'_1 \to Y \times _ X X'_2$ over $Y$.

Moreover, if morphisms as in (1), (2), (3) fit together to form a morphism in the category $\textit{Spaces}(Y \to X, Z)$, then these graphs fit together to give an object of $\textit{Spaces}(Y \times _ X (X'_1 \times _ X X'_2) \to X'_1 \times _ X X'_2, Z \times _ X (X'_1 \times _ X X'_2))$ whose triple of morphisms are closed immersions. The proof is finished by applying Lemmas 81.11.1 and 81.11.2. $\square$