Definition:Proper Extension of Mapping

From ProofWiki
Jump to navigation Jump to search

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


Sources