Definition:Proper G-Submodule

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