A function is called injective (or one-to-one) if it satisfies the following condition:

Definition:
For all if , then it must follow that