We say that a function is injective or one-to-one if implies , or equivalently, whenever , then .
For a list of other properties of injective functions, see [1].