◀ ▲ ▶Branches / Settheory / Proposition: Characterization of Bijective Functions
Proposition: Characterization of Bijective Functions
Let $f:A\to B$ be a function $f$ is bijective if and only if there is a unique function $g:B\to A$ such that:
* its composition with $f$ is the identity function on $A$, formally $g\circ f=id_A$, and
* $f$'s composition with $g$ is the identity function on $B$, formally $f\circ g=id_B.$
Table of Contents
Proofs: 1
Mentioned in:
Definitions: 1
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Modler, F.; Kreh, M.: "Tutorium Analysis 1 und Lineare Algebra 1", Springer Spektrum, 2018, 4th Edition