Definition:Injective Restriction

From ProofWiki
Jump to navigation Jump to search

Definition

Let $f: S \to T$ be a mapping which is not injective.


Then an injective restriction of $f$ is a restriction $g {\restriction_{S'} }: S' \to T$ of $f$ which is an injection.


Sources