Lemma 29.29.2. Let $f : X \to S$ be a morphism of schemes which is locally of finite type. If $f$ has relative dimension $d$, then so does any base change of $f$. Same for relative dimension $\leq d$.

Proof. This is immediate from Lemma 29.28.3. $\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).