Definition:Injection

Also see

 * Equivalence of Definitions of Injection


 * Definition:Surjection
 * Definition:Bijection


 * Subset equals Preimage of Image iff Mapping is Injection: a mapping $f$ is an injection the preimage of the image of every subset of its domain equals that subset.