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$ |