A submodule L of a module M such that for any other nonzero submodule K of M, the intersection L intersection K is not the zero module. L is also called an essential submodule of M, whereas M is called an essential extension of L.

small submodule | submodule