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

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

Formulation F4548 on R399: Injectivity is hereditary

F4548

Formulation 0

Let $f : X \to Y$ be an D467: Injective map such that

(i)	$g$ is a D458: Submap of $f$

Then $g$ is an D467: Injective map.