Definition:Submodule/Proper

Definition
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$.