\begin{definition}[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$.
{{SUBPAGENAME}}
\end{definition}