Injection

A map $f:X\to Y$ is an injection iff $f$ never maps distinct points in $X$ to the same point in $Y$.