Definition 15.70.4. Let $R$ be a ring. Let $I \subset R$ be an ideal. Let $M$ be an $R$-module. We say $M$ is $I$-projective1 if the equivalent conditions of Lemma 15.70.3 hold.

[1] This is nonstandard notation.

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