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.

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

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$