Definition:Injective Restriction

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

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