Definition 60.11.3. If $\mathcal{F}$ satisfies the equivalent conditions of Lemma 60.11.2, then we say that $\mathcal{F}$ is a crystal in quasi-coherent modules. We say that $\mathcal{F}$ is a crystal in finite locally free modules if, in addition, $\mathcal{F}$ is finite locally free.

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