Lemma 29.22.2. Let $f : X \to S$ be a morphism.

1. If $f$ is locally of finite presentation and generalizations lift along $f$, then $f$ is open.

2. If $f$ is locally of finite presentation and generalizations lift along every base change of $f$, then $f$ is universally open.

Proof. It suffices to prove the first assertion. This reduces to the case where both $X$ and $S$ are affine. In this case the result follows from Algebra, Lemma 10.40.3 and Proposition 10.40.8. $\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).