Definition:Proper G-Submodule

Definition
Let $(V,\phi)$ be a $G$-module.

A $G$-submodule of $V$ is called proper if it is a proper vector subspace of $V$.