Lemma 42.23.1. Let $(S, \delta )$ be as in Situation 42.7.1. Let $X$ be a scheme locally of finite type over $S$. The categories $\textit{Coh}_{\leq k}(X)$ are Serre subcategories of the abelian category $\textit{Coh}(X)$.

Proof. The definition of a Serre subcategory is Homology, Definition 12.10.1. The proof of the lemma is straightforward and omitted. $\square$

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