Definition 76.11.1. Let $S$ be a scheme. Let $X \to Y$ be a morphism of algebraic spaces over $S$. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. We say that the universal flattening of $\mathcal{F}$ exists if the functor $F_{flat}$ defined in Situation 76.7.8 is an algebraic space. We say that the universal flattening of $X$ exists if the universal flattening of $\mathcal{O}_ X$ exists.

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