Solution
= Solution
A <function> $f:X\to Y$ is \b[<injective>] if, for all $x,x'\in X$, $f(x)=f(x')$ implies $x=x'$. Thus distinct elements of the <domain of a function> have distinct images.
= Solution
A <function> $f:X\to Y$ is \b[<injective>] if, for all $x,x'\in X$, $f(x)=f(x')$ implies $x=x'$. Thus distinct elements of the <domain of a function> have distinct images.