Definition 63.9.3. Let $F$ be an algebraic space over $S$. A presentation of $F$ is given by a scheme $U$ over $S$ and an étale equivalence relation $R$ on $U$ over $S$, and a surjective étale morphism $U \to F$ such that $R = U \times _ F U$.

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