# Definition:Proper G-Submodule

Let $\left({V, \phi}\right)$ be a $G$-module.
A $G$-submodule of $V$ is called proper iff it is a proper vector subspace of $V$.