在数学中，设 formula_1 为一个含单位元环 formula_2 （不一定可交换）上的左模，若左 formula_2-模 formula_4 是内射模，而且满足下式则称 formula_7 为 formula_1 的一个内射包。类似定义可以照搬至右模的情况。若模 formula_1 的内射包可以写成不可分解子模的有限直积，则称 formula_1 为有限秩的模。
性质.每个模 formula_1 都有内射包，而且在同构的意义下是唯一的。明确地说，若 formula_1