Lemma 31.22.1. Let $f : X \to S$ be a morphism of schemes. Let $i : Z \subset X$ be an immersion. Assume

1. $i$ is an $H_1$-regular (resp. quasi-regular) immersion, and

2. $Z \to S$ is a flat morphism.

Then for every morphism of schemes $g : S' \to S$ the base change $Z' = S' \times _ S Z \to X' = S' \times _ S X$ is an $H_1$-regular (resp. quasi-regular) immersion.

Proof. Unwinding the definitions and using Lemma 31.20.7 this translates into More on Algebra, Lemma 15.31.4. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).