An ==injective== function is a function that maps distinct elements of its domain to distinct elements of its codomain. In other words, every element of the function’s codomain is the image of at most one element of its domain.