An injective function (also known as injection, one-to-one function, инекция, еднозначна) is a functon that maps distinct elements of its domain to distinct elements; that is, .

In other words, every element of the function’s codomain is the image of at most one element of its domain.

injective function diagram