Lemma 20.32.1. Let $X$ be a ringed space. Let $U \subset X$ be an open subspace. The restriction of a K-injective complex of $\mathcal{O}_ X$-modules to $U$ is a K-injective complex of $\mathcal{O}_ U$-modules.

Proof. Follows from Derived Categories, Lemma 13.31.9 and the fact that the restriction functor has the exact left adjoint $j_!$. For the construction of $j_!$ see Sheaves, Section 6.31 and for exactness see Modules, Lemma 17.3.4. $\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).