Definition 72.7.1. Let $S$ be a scheme, and let $X$ be an algebraic space over $S$. An *fppf covering of $X$* is a family of morphisms $\{ f_ i : X_ i \to X\} _{i \in I}$ of algebraic spaces over $S$ such that each $f_ i$ is flat and locally of finite presentation and such that

i.e., the morphisms are jointly surjective.

## Comments (1)

Comment #866 by Pieter Belmans on