Definition:Bijective Restriction

Definition

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

Then a bijective restriction of $f$ is a restriction $g: S\,' \to T\,'$ of $f$ such that $g \restriction_{S\,'}: S\,' \to T\,'$ is a bijection.