Definition 17.17.1. Let $(X, \mathcal{O}_ X)$ be a ringed space. An $\mathcal{O}_ X$-module $\mathcal{F}$ is flat if the functor

$\textit{Mod}(\mathcal{O}_ X) \longrightarrow \textit{Mod}(\mathcal{O}_ X), \quad \mathcal{G} \mapsto \mathcal{G} \otimes _\mathcal {O} \mathcal{F}$

is exact.

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