\begin{definition}[Definition:Semihereditary Ring]
Let $A$ be a commutative ring.
We say that $A$ is '''semihereditary''' if for every module $M$ over $A$, if $M$ is projective, then so is each finitely generated submodule of $M$.
\end{definition}