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.
(i) | $I : X \to X$ is a D4428: Canonical identity map on $X$ |
(i) | $I : X \to X$ is a D4428: Canonical identity map on $X$ |