ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R309 on D977: Left-invertible map

Left-invertible map iff injection

Formulation 0

Let $f : X \to Y$ be a D18: Map.

Then $f$ is a D977: Left-invertible map if and only if $f$ is an D467: Injective map.