Definition:Proper Extension of Mapping

Definition
Let $f$ and $g$ be mappings such that:
 * $g$ is an extension of $f$
 * $f \ne g$

That is:
 * $f \subsetneqq g$

Then $g$ is a '''proper extension of $f$.

Also see

 * Definition:Extension of Mapping