ThmDex – An index of mathematical definitions, results, and conjectures.
Result R301 on D467: Injective map
Canonical identity map is an injection
Formulation 0
Let $X$ be a D11: Set such that
(i) $I : X \to X$ is a D4428: Canonical identity map on $X$
Then $I$ is an D467: Injective map.
Proofs
Proof 0
Let $X$ be a D11: Set such that
(i) $I : X \to X$ is a D4428: Canonical identity map on $X$
This result is a particular case of R2767: Identity map is an injection. $\square$