## 73.16 Properties of morphisms local in the fppf topology on the source

Here are some properties of morphisms that are fppf local on the source.

Lemma 73.16.1. The property $\mathcal{P}(f)=$“$f$ is locally of finite presentation” is fppf local on the source.

Proof. Follows from Lemma 73.14.3 using Morphisms of Spaces, Definition 66.28.1 and Descent, Lemma 35.28.1. $\square$

Lemma 73.16.2. The property $\mathcal{P}(f)=$“$f$ is locally of finite type” is fppf local on the source.

Proof. Follows from Lemma 73.14.3 using Morphisms of Spaces, Definition 66.23.1 and Descent, Lemma 35.28.2. $\square$

Lemma 73.16.3. The property $\mathcal{P}(f)=$“$f$ is open” is fppf local on the source.

Proof. Follows from Lemma 73.14.3 using Morphisms of Spaces, Definition 66.6.2 and Descent, Lemma 35.28.3. $\square$

Lemma 73.16.4. The property $\mathcal{P}(f)=$“$f$ is universally open” is fppf local on the source.

Proof. Follows from Lemma 73.14.3 using Morphisms of Spaces, Definition 66.6.2 and Descent, Lemma 35.28.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).