Definition:Injective Restriction

If $$f: S \to T$$ is 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.