Lemma 35.19.2. Let $\tau \in \{ fpqc, fppf, syntomic, smooth, {\acute{e}tale}, Zariski\}$. Let $\mathcal{P}$ be a property of morphisms which is $\tau$ local on the target. Let $f : X \to Y$ have property $\mathcal{P}$. For any morphism $Y' \to Y$ which is flat, resp. flat and locally of finite presentation, resp. syntomic, resp. étale, resp. an open immersion, the base change $f' : Y' \times _ Y X \to Y'$ of $f$ has property $\mathcal{P}$.

Proof. This is true because we can fit $Y' \to Y$ into a family of morphisms which forms a $\tau$-covering. $\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).