Let $X$ be a D11: Set such that

(i)	$I : X \to Y$ is an D440: Identity map on $X$

For all $x, y \in X$, we have $x = I(x) = I(y) = y$. The claim follows. $\square$