\begin{definition}[Definition:Injective Restriction]
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.
Category:Definitions/Injections
Category:Definitions/Restrictions
\end{definition}