Definition:Surjective Restriction

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

Then a surjective restriction of $$f$$ is a restriction $$g: S' \to T'$$ of $$f$$ such that $$g|_{S'}: S' \to T'$$ is a surjection.