內射包 在數學中設 M displaystyle M 為一個含單位元環 R displaystyle R 不一定可交換上的左模若左 R displaystyle R 模 E  M displaystyle Esupset M 是內射模而且滿足下式 N  E  N    N  M   displaystyle Nsubset ENneq Rightarrow Ncap Mneq qquad  其中 N displaystyle N 是子模 則稱 E displaystyle E 為 M displaystyle M 的一個內射包類似定義可以照搬至右模的情況 若模 M displaystyle M 的內射包可以寫成不可分解子模的有限直積則稱 M displaystyle M 為有限秩的模