\begin{definition}[Definition:Proper Submodule]
Let $R$ be a ring.
Let $M$ be a $R$-module.
Then $N$ is a '''proper submodule''' of $M$ if $N$ is a submodule of $M$ and $N$ is a proper subset of $M$.
\end{definition}