Equivalence of Definitions of Generated Submodule over Ring with Unity

Theorem
Let $R$ be a ring.

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

Let $S\subset M$ be a subset.