Definition:Surjective Restriction

From ProofWiki
Jump to navigation Jump to search

Definition

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 \restriction_{S'}: S' \to T'$ is a surjection.


Sources