；换言之，一个模 formula_2 是投射模，若且唯若存在另一个模 formula_3 使得 formula_4 是自由模。此时 formula_2 是 formula_6 的一个投影态射的项。
提昇性质.较容易操作也较符合范畴论思想的定义是利用提昇性质。模 formula_2 是投射模，若且唯若对任何模满射 formula_8 及模态射 formula_9，存在模态射 formula_10 使得 formula_11（请留意：在此"不要求唯一性"）。用交换图表现则更明了：此