Definition 30.11.4. Let $X$ be a locally Noetherian scheme. Let $\mathcal{F}$ be a coherent $\mathcal{O}_ X$-module. We say $\mathcal{F}$ is Cohen-Macaulay if and only if $(S_ k)$ holds for all $k \geq 0$.

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