Definition 79.3.1. Let $S$ be a scheme contained in $\mathit{Sch}_{fppf}$. Let $F$, $G$ be presheaves on $\mathit{Sch}_{fppf}/S$. We say a morphism $a : F \to G$ is representable by algebraic spaces if for every $U \in \mathop{\mathrm{Ob}}\nolimits ((\mathit{Sch}/S)_{fppf})$ and any $\xi : U \to G$ the fiber product $U \times _{\xi , G} F$ is an algebraic space.

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