Lemma 64.7.4. Let $\mathcal{P}$ be a property of germs of schemes which is étale local, see Descent, Definition 35.18.1. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $x \in |X|$ be a point of $X$. Consider étale morphisms $a : U \to X$ where $U$ is a scheme. The following are equivalent

1. for any $U \to X$ as above and $u \in U$ with $a(u) = x$ we have $\mathcal{P}(U, u)$, and

2. for some $U \to X$ as above and $u \in U$ with $a(u) = x$ we have $\mathcal{P}(U, u)$.

If $X$ is representable, then this is equivalent to $\mathcal{P}(X, x)$.

Proof. Omitted. $\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).