Definition:Surjective Restriction
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
- 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 23$: Restriction of a Mapping