(mathematics) The state or quality of relating to, or being an injection: such that each element of the image (or range) is associated with at most one element of the preimage (or domain).