Definition:Hereditary Ring

Definition
Let $A$ be a commutative ring.

We say that $A$ is hereditary if for every module $M$ over $A$, if $M$ is projective, then so is each submodule of $M$.

Also see

 * Definition:Semihereditary Ring