Kernel and image are submodules

Kernel and image are submodules: Let $f:M\to N$ be an $R$-module homomorphism. Then $\ker(f)\le M$ and $\operatorname{im}(f)\le N$.

The kernel statement is exactly kernels are submodules , and the image statement is the analogous closure property for the image of a module homomorphism .