Lemma 87.30.2. All of the separation axioms listed in Definition 87.30.1 are stable under base change.
Proof. Let $f : X \to Y$ and $Y' \to Y$ be morphisms of formal algebraic spaces. Let $f' : X' \to Y'$ be the base change of $f$ by $Y' \to Y$. Then $\Delta _{X'/Y'}$ is the base change of $\Delta _{X/Y}$ by the morphism $X' \times _{Y'} X' \to X \times _ Y X$. Each of the properties of the diagonal used in Definition 87.30.1 is stable under base change. Hence the lemma is true. $\square$
Comments (0)