ThmDex – An index of mathematical definitions, results, and conjectures.
Right-invertible map iff surjection
Formulation 0
Let $f : X \to Y$ be a D18: Map.
Then $f$ is a D978: Right-invertible map if and only if $f$ is a D466: Surjective map.