Lemma 35.30.3. Let $\mathcal{P}$ be a property of morphisms of schemes which is étale local on source-and-target. Let $Q$ be the associated property of morphisms of germs, see Lemma 35.30.2. Let $f : X \to Y$ be a morphism of schemes. The following are equivalent:

$f$ has property $\mathcal{P}$, and

for every $x \in X$ the morphism of germs $(X, x) \to (Y, f(x))$ has property $\mathcal{Q}$.

## Comments (0)