Definition: There exist an injection $M\to \prod_{i\in I} R$ for some number of copies of $R$. Also known as: torsionless modules
(No citations retrieved.)