Definition:Generator of Module/Definition 2

Definition
Let $R$ be a ring.

Let $M$ be an $R$-module.

Let $S \subseteq M$ be a subset.

$S$ is a generator of $M$ $M$ has no proper submodule containing $S$.