Lemma 72.7.3. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$.

1. If $X' \to X$ is an isomorphism then $\{ X' \to X\}$ is an fppf covering of $X$.

2. If $\{ X_ i \to X\} _{i\in I}$ is an fppf covering and for each $i$ we have an fppf covering $\{ X_{ij} \to X_ i\} _{j\in J_ i}$, then $\{ X_{ij} \to X\} _{i \in I, j\in J_ i}$ is an fppf covering.

3. If $\{ X_ i \to X\} _{i\in I}$ is an fppf covering and $X' \to X$ is a morphism of algebraic spaces then $\{ X' \times _ X X_ i \to X'\} _{i\in I}$ is an fppf covering.

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).