The Stacks project

Definition 65.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$.